Interested in formal methods, in particular bringing its cost down. He is presently working on verifying OS code using SMT solvers.
| Email: | m.paturel@student.unsw.edu.au |
|---|---|
| Web: | https:/ |
More contact information is available at the Contact page.
Current |