Ms Miki   Tanaka
Conjoint 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.