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 currently is the technical lead of the verification of the seL4 MCS extensions.

Contact Details

Email:Miki.Tanaka@unsw.edu.au

More contact information is available at the Contact page.

Photo of Miki Tanaka

Projects

Current