Trustworthy Systems

Miki Tanaka
Senior Proof Engineer

Research Interests

Miki is interested in formal verification techniques and their application to software systems, and broadly proof engineering as a discipline. Miki has contributed to the verification of architecture porting for seL4 and also the verification of the seL4 MCS extensions as the technical lead. Miki is currently involved in a project for device driver verification using the Pancake language (based on cakeML/HOL4).

Contact Details

Email:Miki.Tanaka@unsw.edu.au

More contact information is available at the Contact page.

Photo of Miki Tanaka

Publication List

Projects

Current

Past

Publications

Trustworthy Systems Group Papers

2023

Abstract PDF Johannes ├ůman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Gordon Sau, Ben Nott, Tiana Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus Myreen, Michael Norrish and Gernot Heiser
Pancake: verified systems programming made sweeter
Workshop on Programming Languages and Operating Systems (PLOS), Koblenz, DE, October, 2023