ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
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
Research interests:Formal verification, interactive theorem provers, compilers, machine code, functional programming

Contributions

SPLASH 2020 Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs
Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs
Show activities from other conferences

SPLASH 2020-profile
View general profile