Keywords
Fields of Research (FoR)
Formal methods for software, Programming languages, Operating systemsBiography
Dr Miki Tanaka is a Senior Proof Engineer at Trustworthy Systems Group. Miki has years of experience in systems software verification using interactive theorem provers Isabelle/HOL and HOL4.
Location
ORCID as entered in ROS
https://orcid.org/0009-0003-0739-1876