Gidon ERNST (ギドン エルンスト)

Contact: gidon (*) nii.ac.jp

About me

I am a postdoc researcher at the Mathematical and Metamathematical Modeling group lead by Prof. Dr. Ichiro Hasuo at the National Institute of Informatics, Tokyo.

I got my PhD from the University of Augsburg (advisor Prof. Dr. Wolfgang Reif).
Thesis (2016): A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance

Research

Current

Past

Publications