Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
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.

Country: Sweden

Affiliation: Chalmers University of Technology, Sweden

Personal website: http://www.cse.chalmers.se/~myreen/

Research interests: Formal verification, interactive theorem provers, compilers, machine code, functional programming

Contributions

ICFP 2017Presenter 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
Show activities from other conferences

ICFP 2017-profile
View general profile