Skip to main content

Miki Tanaka
Senior Research Engineer

Research Interests

Miki is mainly interested in formal verification techniques and their application to software systems.

Contact Details

Email:Miki.Tanaka@data61.csiro.au

More contact information is available at the Contact page.

Photo of Miki Tanaka

Projects

Current

Served by Apache on Linux on seL4.