Back to
Dr Miki Tanaka

Dr Miki Tanaka

Adjunct Senior Lecturer
Engineering
Computer Science and Engineering

Dr Miki Tanaka is a Senior Proof Engineer and Adjunct Senior Lecturer at Trustworthy Systems Group. Miki has years of experience in systems software verification using interactive theorem provers Isabelle/HOL and HOL4.

Miki is interested in formal verification techniques and their application to software systems, and broadly proof engineering as a discipline. Miki contributed to several projects on the verified microkernel seL4 as the technical lead. Miki currently leads various projects on the Pancake programming language and applying it to device driver verification as well as the device formalisation project.
  • Conference Papers | 2025
    Murphy L; Rizaldi A; Rossouw L; George C; Treloar J; Pearce H; Tanaka M; Heiser G, 2025, 'High-Fidelity Specification of Real-World Devices', in Plos 2025 Proceedings of the 13th Workshop on Programming Languages and Operating Systems, pp. 60 - 67, http://dx.doi.org/10.1145/3764860.3768335
    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