Trustworthy Systems

Mathieu Paturel
Student Intern

Research Interests

Interested in formal methods, in particular bringing its cost down. He is presently working on verifying OS code using SMT solvers.

Contact Details

Email:m.paturel@student.unsw.edu.au
Web:https://math2001.github.io

More contact information is available at the Contact page.

Photo of Mathieu Paturel

Projects

Current