91³ÉÈ˰涶Òô
Back to
Dr Miki Tanaka

Dr Miki Tanaka

Adjunct Senior Lecturer
Engineering
Computer Science and Engineering

Dr Miki Tanaka is a Senior Proof Engineer at Trustworthy Systems Group. Miki has ample experience in system software verification using interactive theorem prover such as Isabelle/HOL and HOL4.
  • 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,
    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,