Trustworthy Systems

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.

Photo of Samuel Tyler