Trustworthy Systems
About TS
About TS
Achievements
People
Partners and Sponsors
Diversity
Contact us
News
Research
Research
Operating systems
Formal methods
Programming languages
All projects
Publications
Software
Collaboration
Collaboration
Services
Our projects
Jobs
Jobs
Diversity
Students
Students
General Information
Courses We Run
PhD Research
Undergraduate Thesis Topics
Taste of Research Projects
Partners
Sam Doak
Student Intern
Research Interests
Sam is working on seL4 stufff
Contact Details
Email:
s
.
doak
@
student
.
unsw
.
edu
.
au
More contact information is available at the
Contact page
.