Skip to main content

Miki Tanaka

Miki Tanaka
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