Skip to main content

Miki Tanaka

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.

Projects

Current

Served by Apache on Linux on seL4.