Samuel Tyler
Student Intern
Research Interests
Samuel works on automated program verification using SMT tools, particularly on device drivers, making use of and improving the Pancake to Viper infrastructure.
Contact Details
| Email: | samuel.tyler@student.unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |