Mathieu Paturel
Honours Thesis Student
Research Interests
Mathieu is interested in formal methods, in particular bringing its cost down.
He is currently working on verifying user level components built on top of seL4 using SMT solvers.
Contact Details
| Email: | m.paturel@student.unsw.edu.au |
|---|---|
| Web: | https:/ |
More contact information is available at the Contact page.
Projects
Current |
Publications
Trustworthy Systems Group Papers
2023
|
 |
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 |