conf.researchr.org / Magnus O. Myreen
Registered user since Thu 20 Apr 2017
Name:Magnus O. Myreen
Bio:
I did a B.A. in Computer Science at the University of Oxford, tutored by Dr Jeff Sanders.
I completed my Ph.D. on program verification in 2009 at the University of Cambridge, supervised by Prof. Mike Gordon. My PhD dissertation was selected as the winner of the BCS Distinguished Dissertation Competition 2010.
In 2012, I became a Royal Society Research Fellow, UK.
In 2014, I moved to Chalmers where I became a tenured Associate Professor in 2015.
Affiliation:Chalmers University of Technology
Personal website: http://www.cse.chalmers.se/~myreen/
Research interests:Formal verification, interactive theorem provers, compilers, machine code, functional programming
Contributions
2024
Symposium on Practical Aspects of Declarative Languages
PLDI
2023
PLDI
2022
2021
2020
SPLASH
2019
PLDI
2018
2017
ICFP
- Presenter of Tutorial T1: Writing Verified Programs in CakeML within the Tutorials-track
- Author of Verifying Efficient Function Calls in CakeML within the Research Papers-track
- Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 2) within the Tutorials-track
- Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 3) within the Tutorials-track