Prof Alan Mycroft

简介

Alan Mycroft is a Computer Science Academic who worked at the Department of Computer Science and Technology (previously the Computer Laboratory) of the University of Cambridge for 39 years, retiring from "Professor of Computing" to "Emeritus Professor" on 30 September 2023. After gaining a Mathematics degree at Cambridge and a PhD in Computer Science at Edinburgh, he was a post-doc at Edinburgh, a Forskarsassistent (a research post) at Chalmers University in Sweden, and then moved back to Cambridge. His research centres on Programming Languages, their semantics, their analysis and their compilation. He has spent sabbaticals at Ecole Polytechnique in Paris, IMDEA in Madrid, DTU in Lyngby, IITB in Mumbai along with industrial leave at AT&T Research and Intel Research. He was a founder of the

代表成果

• Princis, H., David, C. and Mycroft, A., 2025. Enhancing SQL Query Generation with Neurosymbolic Reasoning Proceedings of the Aaai Conference on Artificial Intelligence, v. 39 Doi: http://doi.org/10.1609/aaai.v39i19.34198
• McDermott, D. and Mycroft, A., 2024. GALOIS CONNECTING CALL-BY-VALUE AND CALL-BY-NAME Logical Methods in Computer Science, v. 20 Doi: 10.46298/lmcs-20(1:13)2024
• de Silva, L. and Mycroft, A., 2023. Toward trustworthy programming for autonomous concurrent systems AI and Society, v. 38 Doi: 10.1007/s00146-022-01463-6
• Jaiswal, S., Khedker, UP. and Mycroft, A., 2021. A Unified Model for Context-Sensitive Program Analyses: The Blind Men and the Elephant ACM COMPUTING SURVEYS, v. 54 Doi: 10.1145/3456563
• Rodriguez-Prieto, O., Mycroft, A. and Ortin, F., 2020 (Accepted for publication). An efficient and scalable platform for java source code analysis using overlaid graph representations IEEE Access, v. 8 Doi: 10.1109/ACCESS.2020.2987631
• Gharat, PM., Khedker, UP. and Mycroft, A., 2020. Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis ACM Transactions on Programming Languages and Systems, v. 42 Doi: 10.1145/3382092
• Gharat, PM., Khedker, UP. and Mycroft, A., 2018 (Accepted for publication). Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers arxiv,
• McDermott, D. and Mycroft, A., 2018. Call-by-need effects via coeffects Open Computer Science, v. 8 Doi: 10.1515/comp-2018-0009
• Urma, RG. and Mycroft, A., 2015. Source-code queries with graph databases - With application to programming language usage and evolution Science of Computer Programming, v. 97 Doi: 10.1016/j.scico.2013.11.010
• Orchard, D., Petricek, T. and Mycroft, A., 2014. The semantic marriage of monads and effects