Samuel Tyler
Student Intern
Research Interests
Annotating device drivers written in Pancake for SMT backend automated verification.
Contact Details
| Email: | samuel.tyler@student.unsw.edu.au |
|---|
More contact information is available at the Contact page.