Mathieu is interested in formal methods, in particular bringing its cost down. He is presently working on verifying user level components running on top of the seL4 core platform, a very thin operating operating system.
More contact information is available at the Contact page.
|Mathieu Paturel, Isitha Subasinghe and Gernot Heiser|
First steps in verifying the seL4 Core Platform
Asia-Pacific Workshop on Systems (APSys), Seoul, KR, August, 2023