Dr Craig McLaughlin

Dr Craig McLaughlin

Senior Research Associate
Engineering
Computer Science and Engineering

Since 2022, I have been a postdoctoral researcher within the Trustworthy Systems group where I am involved in the secure multi-server operating system (SMOS) project. Between 2019-2021, I was a postdoctoral researcher involved in the Cogent project. My research interests include programming languages and compilers, (dependent) type theory, formal verification (interactive theorem proving and model checking), and operating systems.

Previously, I was a PhD student at the University of Edinburgh (2015-2020). Before that, I completed a masters at the University of Glasgow (2010-2015).

  • Journal articles | 2023
    Chen Z; Lafont A; O'Connor L; Keller G; McLaughlin C; Jackson V; Rizkallah C, 2023, 'Dargent: A Silver Bullet for Verified Data Layout Refinement', Proceedings of the ACM on Programming Languages, 7, http://dx.doi.org/10.1145/3571240
  • Conference Papers | 2023
    Pohjola JÅ; Syeda HT; Tanaka M; Winter K; Sau TW; Nott B; Ung TJT; McLaughlin C; Seassau R; Myreen MO; Norrish M; Heiser G, 2023, 'Pancake: Verified Systems Programming Made Sweeter.', in PLOS@SOSP, ACM, pp. 1 - 9, https://doi.org/10.1145/3623759
    Conference Papers | 2023
    Pohjola JÅ; Syeda HT; Tanaka M; Winter K; Sau TW; Nott B; Ung TT; McLaughlin C; Seassau R; Myreen MO; Norrish M; Heiser G, 2023, 'Pancake: Verified Systems Programming Made Sweeter', in PLOS 2023 - Proceedings of the 12th Workshop on Programming Languages and Operating Systems, Part of: SOSP 2023, pp. 1 - 9, http://dx.doi.org/10.1145/3623759.3624544