معرفی
Magnus O. Myreen is a Professor at the Department of Computer Science and Engineering at Chalmers University of Technology. His research focuses on formal verification, interactive theorem proving, and verified compilers, particularly for functional languages like ML and Lisp. He is best known for the CakeML project, which aims to create a verified ML-style language with proofs down to machine code.
- Education: B.A. in Computer Science (University of Oxford, 2007), Ph.D. in Program Verification (University of Cambridge, 2009, supervised by Prof. Mike Gordon).
- Awards: BCS Distinguished Dissertation Competition 2010, ACM SIGPLAN Most Influential POPL Paper Award (2014 paper), Amazon Research Award 2023 for 'Compiling Dafny to CakeML'.
- Students: PhD students include Alejandro Gomez, Oskar Abrahamsson, and Andreas Loow.
Research Trends: Recent publications emphasize verified compilers (CakeML, PureCake), formal verification of machine code, and integration of hardware-software stacks. His work bridges functional programming, automated reasoning, and cyber-physical systems.
Scientific Awards:
- BCS Distinguished Dissertation Competition 2010
- ACM SIGPLAN Most Influential POPL Paper Award
- Amazon Research Award 2023
Advising: Supervised PhD students at Chalmers and collaborated with researchers at NICTA, EPFL, and NUS. Labs/Teams: Leads verification projects at Chalmers, collaborates with groups at EPFL, NUS, and Arm Ltd. during a sabbatical.
