Scholar
Magnus Myreen
Google Scholar ID: XfqNgKwAAAAJ
Chalmers University of Technology
Citations & Impact
Citations
2,025
H-index
24
i10-index
47
Publications
20
Co-authors
22
list available
Contact
Publications
Resume (English only)
Academic Achievements
- The 2014 paper 'CakeML: A Verified Implementation of ML' won the ACM SIGPLAN Most Influential POPL Paper Award; multiple papers accepted at top conferences such as ITP 2025, CP 2025, SAT 2025, CAV 2024, IJCAR 2024; received an Amazon Research Award for compiling Dafny to CakeML.
Research Experience
- Started a ten-month sabbatical at Cambridge UK in October 2023, working part-time for Arm Ltd; became chair of the steering committee for the ITP conference series; gave talks and served on program committees for various international conferences.
Background
- Research interests include program verification, interactive theorem proving, and particularly the challenges of making interactive proofs more automatic and scalable to real code. Recent work has focused on CakeML, an ML-style language with a formal semantics and a growing ecosystem of proofs and tools that support the construction of verified applications.
Miscellany
- Personal interests not mentioned
