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

More contact information is available at the Contact page.

Photo of Miki Tanaka