Developing highly intrinsic IT-systems absent of errors

PhD defence, Wednesday 12 December 2018. Morten Krogh-Jespersen.

2018.12.12 | Maia Høyer Monod

Morten Krogh-Jespersen

Throughout his PhD studies, Morten Krogh-Jespersen has done research on how to ensure that multi-threaded and distributed systems behave as intended. Certain IT-systems are so essential to our everyday lives that such a guarantee is almost a necessity, no matter if the system is a mail-service, software for healthcare, software in cars or software that facilitates the transfer of funds. Proofs of such systems being devoid of errors can only be obtained by formal verification efforts grounded in mathematical models.

As a result of his research, Morten Krogh-Jespersen has developed models with the potential to aid the verification of real-world programs used by thousands of people every day.

The PhD degree was completed at Department of Computer Science, Science and Technology, Aarhus University.

This résumé was prepared by the PhD student.

Time: Wednesday 12 December 2018 at 13.00
Place: Building 5335 (Nygaard), room 395, Department of Computer Science, Aarhus University, Finlandsgade 21, 8200 Aarhus N
Title of PhD thesis: Towards Modular Reasoning for Stateful and Concurrent Programs
Contact information: Morten Krogh-Jespersen, e-mail:
Members of the assessment committee:
Professor Philippa Gardner, Department of Computing, Imperial College London, England
Associate Professor Ilya Sergey, Yale-NUS College and School of Computing, NUS, Singapore
Professor Anders Møller, Department of Computer Science, Aarhus University (chair)
Main supervisor:
Professor Lars Birkedal, Department of Computer Science, Aarhus University
Language: The PhD dissertation will be defended in English

The defence is public.
The PhD thesis is available for reading at the Graduate School of Science and Technology/GSST, Ny Munkegade 120, building 1520, rooms 128-134, 8000 Aarhus C.

PhD defence
Comments on content: 
Revised 11.12.2018