Skip to content
Research Fellows Directory

Magnus Myreen

Dr Magnus Myreen

Research Fellow


University of Cambridge

Research summary

When travelling on a commercial aircraft, one might think that the pilot controls the wings and engines. Indeed he is. However, the pilot controls the aircraft only through a computer interface. The computer controls the wings and engines through a computer network which sends packets and signals to various microcontrollers that, e.g., adjust thrust levels in the engines.

Certain computer systems, such as those in medical devices, airplanes, powerplants etc., are critical for safety and must, as a result, be developed to extremely high levels of quality. The development of such software is currently very costly and relies on dated and incomplete techniques. My research explores alternative ways of both production of safety critical code and alternative means for post hoc verification of safety critical software.

I work towards making safety critical software, particularly core infrastructure such as operating systems, more robust and cheaper/easier to produce. A relatively unique aspect of my work is that I can produce proofs which show that software adheres to high-level behavioural specifications even at the level of the binary executable, most similar work stop at the level of textual representations of the source code for the software.

Grants awarded

Systems Verification - The Last Mile

Scheme: University Research Fellowship

Dates: Oct 2012 - Aug 2015

Value: £392,485.71