Adjunct Senior Lecturer
Ms Miki Tanaka
Engineering
Computer Science and Engineering
Dr Miki Tanaka is a Senior Proof Engineer at Trustworthy Systems Group. Miki has ample experience in system software verification using Isabelle/HOL and also HOL4.
- Publications
- Media
- Grants
- Awards
- Research Activities
- Engagement
- Teaching and Supervision