Trustworthy Systems

Mathieu Paturel
Summer Student

Research Interests

formal methods

Contact Details

Email:z5312157@unsw.edu.au
Web:https://math2001.github.io

More contact information is available at the Contact page.

Photo of Mathieu Paturel