Magnus O. Myreen (Preferred)
Magnus O. Myreen
Full Professor, Chalmers University of Technology
Joined
March 2025
Names
Emails
****@chalmers.se (Confirmed)
Personal Links
Career & Education History
Full Professor
Chalmers University of Technology (chalmers.se)
2023 – Present
Advisors, Relations & Conflicts
PhD Advisor
Mike Gordon
2005 – 2009
Expertise
interactive theorem proving
, compiler verification
2005 – 2025
Publications
Co-Authors
- Adam Sandberg Ericsson
- Alejandro Gómez-Londoño
- Alexander Mihajlovic
- Andreas Lööw
- André Platzer
- Andy Oertel
- Anthony C. J. Fox
- Armaël Guéneau
- Benjamin Nott
- Ciaran McCreesh
- Craig McLaughlin
- Eric Mullen
- Eva Darulova
- Francesco Zappa Nardelli
- Gernot Heiser
- Gerwin Klein
- Gregorio Curello
- Hannes Ihalainen
- Heiko Becker
- Henrik Rostedt
- Hira Taqdees Syeda
- Hrutvik Kanabar
- Hugo Férée
- Jade Alglave
- Jakob Nordström