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 |