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.
Email: | m.paturel@student.unsw.edu.au |
---|---|
Web: | https:/ |
More contact information is available at the Contact page.
Current |
![]() |
![]() |
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 |