Xavier Cooney
Student Intern
Research Interests
Xavier is working on using SMT solvers for verification.
Contact Details
| Mobile: | +61 434 239 536 |
|---|---|
| Email: | x.cooney@unsw.edu.au |
| Web: | https:/ |
More contact information is available at the Contact page.
