Biography
Dr Miki Tanaka is a Senior Proof Engineer at Trustworthy Systems Group. Miki has ample experience in system software verification using interactive theorem prover such as Isabelle/HOL and HOL4.
Researcher
Dr Miki Tanaka
Site Maintenance will take place from 4:00 PM on 2024-04-29 to 9:00 AM on 2024-05-01.
Please do not make any content change during this time, otherwise all the changes will be lost.
Please do not make any content change during this time, otherwise all the changes will be lost.