Alan Mycroft
From Wikipedia, the free encyclopedia
Almamater
- University of Cambridge (BA, MA, ScD)
- University of Edinburgh (PhD)
Children4
Alan Mycroft | |
|---|---|
| Alma mater |
|
| Known for | |
| Children | 4 |
| Scientific career | |
| Fields | |
| Institutions | |
| Thesis | Abstract interpretation and optimising transformations for applicative programs (1982) |
| Doctoral advisor | |
| Website | www |
Alan Mycroft is an Emeritus Professor[3] at the Computer Laboratory, University of Cambridge and a Fellow of Robinson College, Cambridge, where he used to serve as director of studies for computer science.[4]
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[2] supervised by Rod Burstall and Robin Milner.
.svg){kind=small}
