Dr Miki Tanaka is a Senior Proof Engineer at Trustworthy Systems Group. Miki has ample experience in systems software verification using interactive theorem prover such as Isabelle/HOL and HOL4.
Publications
Media
Grants
Awards
Research Activities
Engagement
Teaching and Supervision
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
