Research Fellows Directory
Dr Magnus Myreen
University of Cambridge
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.