Magnus O. Myreen

Full Professor, Chalmers University of Technology

Joined March 2025

Names

Magnus O. Myreen (Preferred)

Suggest Name

Emails

****@chalmers.se (Confirmed)

Suggest Email

Personal Links

Suggest URL

Career & Education History

Full Professor

Chalmers University of Technology (chalmers.se)

2023 – Present

Suggest Position

Advisors, Relations & Conflicts

PhD Advisor

Mike Gordon

2005 – 2009

Suggest Relation

Expertise

interactive theorem proving, compiler verification

2005 – 2025

Suggest Expertise