Alan Mycroft

{{Infobox scientist

| name = Alan Mycroft

| image =

| image_size =

| alt =

| caption =

| birth_date =

| birth_place =

| death_date =

| death_place =

| resting_place =

| resting_place_co-ordinates =

| residence =

| citizenship =

| nationality =

| fields = {{Plainlist|

| workplaces = {{Plainlist|

| alma_mater = {{Plainlist|class=nowrap|

University of Cambridge (BA, MA, ScD)
University of Edinburgh (PhD)}}

| thesis_title = Abstract interpretation and optimising transformations for applicative programs

| thesis_year = 1982

| thesis_url = http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.278868

| doctoral_advisor = {{Plainlist|

| academic_advisors =

| doctoral_students =

| known_for = {{Plainlist|

| author_abbrev_bot =

| author_abbrev_zoo =

| influences =

| influenced =

| awards =

| signature =

| signature_alt =

| website = {{URL|https://www.cl.cam.ac.uk/~am21/}}

| footnotes =

| spouse =

| children = 4

}}Alan Mycroft is a professor at the Computer Laboratory, University of Cambridge and a Fellow of Robinson College, Cambridge, where he is also director of studies for computer science.

Education

Mycroft read mathematics at Cambridge then moved to Edinburgh where he completed his Doctor of Philosophy degree with a thesis on Abstract interpretation and optimising transformations for applicative programs{{cite thesis |degree=PhD |first=Alan|last=Mycroft |title=Abstract interpretation and optimising transformations for applicative programs |publisher=University of Edinburgh |year=1982 |url=http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.278868|author-link=Alan Mycroft|oclc=10271733}} supervised by Rod Burstall and Robin Milner.

Research

Mycroft's research interests{{AcademicSearch|2370144}}{{DBLP|name=Alan Mycroft}}{{ACMPortal}}{{Scopus}}{{Google Scholar id}} are in programming languages, software engineering and algorithms.{{Cite journal | doi = 10.1016/0004-3702(84)90017-1 | last1 = Mycroft | first1 = A. | last2 = O'Keefe | first2 = R. A. | title = A polymorphic type system for prolog | journal = Artificial Intelligence | volume = 23 | issue = 3 | pages = 295 | year = 1984}}{{Cite book | last1 = Mycroft | first1 = A. | chapter = Polymorphic type schemes and recursive definitions | doi = 10.1007/3-540-12925-1_41 | title = International Symposium on Programming | series = Lecture Notes in Computer Science | volume = 167 | pages = 217–228 | year = 1984 | isbn = 978-3-540-12925-7 }}{{Cite book | last1 = Mycroft | first1 = A. | chapter = The theory and practice of transforming call-by-need into call-by-value | doi = 10.1007/3-540-09981-6_19 | title = International Symposium on Programming | series = Lecture Notes in Computer Science | volume = 83 | pages = 269–281 | year = 1980 | isbn = 978-3-540-09981-9 }}{{Cite journal | doi = 10.1016/S1571-0661(04)81047-8| title = Redux| journal = Electronic Notes in Theoretical Computer Science| volume = 89| issue = 2| pages = 149| year = 2003| last1 = Nethercote | first1 = N. | last2 = Mycroft | first2 = A. | doi-access = free}}

With Arthur Norman, he co-created the Norcroft C compiler.{{cite book |last1=Mycroft |first1=Alan |last2=Norman |first2=Arthur C. |title=Optimising compilation |chapter= Part I: classical imperative languages |location=Cambridge, UK |publisher=University of Cambridge, Computer Laboratory |year=1992 |oclc=29982690 |citeseerx=10.1.1.43.9953 |quote=[…] the 'Norcroft' compiler suite jointly constructed by the authors […] Commercial interests are referred to Codemist Ltd. […] }} He is also a named trustee of the Raspberry Pi Foundation, a charitable organisation whose single-board computer is intended to stimulate the teaching of basic computer science in schools.{{cite web | url = http://www.electronicsweekly.com/Articles/2011/05/26/51140/in-depth-raspberry-pi-the-computer-on-a-stick.htm | title = In depth: Raspberry Pi, the computer on a stick | access-date = 11 July 2011 | last = Bush | first = Steve | date = 26 May 2011 | work = Electronics Weekly | quote = The Raspberry Pi developers and trustees of its Foundation are: David Braben – Founder of games software firm Frontier Developments and co-author of 'Elite'. Jack Lang – Business angel, early Acorn employee, founder of Cambridge start-ups. Pete Lomas – Founder and MD of Norcott Technologies. Robert Mullins – University of Cambridge Computer Laboratory and St. John's College, Cambridge. Alan Mycroft – Professor of Computing in University of Cambridge Computer Laboratory Eben Upton – Engineer at Broadcom Europe, founder of software start-ups, and former director of computer science at St. John's College, Cambridge.}}

Personal life

Mycroft has four children.{{citation needed|date=July 2018}}

References

Category:Living people

Category:British computer scientists

Category:Fellows of Robinson College, Cambridge

Category:Alumni of the University of Edinburgh

Category:Year of birth missing (living people)

Category:Fellows of St John's College, Cambridge