Magnus O. MyreenMagnus O. Myreen did his BA in Computer Science at the University of Oxford. Magnus completed his PhD on program verification in 2008 at the University of Cambridge. Currently Magnus is a research associate and co-investigator on an EPSRC grant entited ‘Trustworthy programming for multiple instruction sets’. Read More Read Less