Regular biography
Alan Mycroft emeritus is a Fellow at the University of Cambridge, Department of Computer Science and Technology. His research focuses on Programming Languages, their semantics, analysis, and compilation. He has held positions at various institutions, including Edinburgh and Chalmers University, and has contributed to significant research collaborations. Mycroft has been involved in the development of the Raspberry Pi Foundation and has conducted sabbaticals at several international institutions. He retired from his role as Professor of Computing on 30 September 2023, transitioning to an emeritus status.
Scholar-generated biography
Alan Mycroft is a Professor of Computing at the University of Cambridge, specializing in Programming Languages, Compilation, and Static Analysis. His research focuses on type systems, program transformation, and static analysis techniques for optimizing and verifying software. He has contributed to the development of polymorphic type systems, abstract interpretation, and type-based decompilation. His work includes the design of isolation-typed actors for Java, the theory of call-by-need to call-by-value transformations, and the exploration of context-dependent computation through coeffects. Mycroft's research also addresses data flow analysis, software thread-level speculation, and the application of linear types in packet processing. His publications reflect a strong emphasis on theoretical foundations and practical implementations in programming language design and analysis.