![](/sites/default/files/images/profile/profile_pic_snow.jpg)
Biography
Scott has a PhD in Formal Methods and Programming Languages from Macquarie University, and is currently a Postdoctoral Fellow, working on formalising and proving Time Protection for the seL4 microkernel.
Location
ORCID as entered in ROS
![orcid_icon](/themes/resgate8/images/icons/ORCIDiD_icon24x24.png)
Researcher
Scott has a PhD in Formal Methods and Programming Languages from Macquarie University, and is currently a Postdoctoral Fellow, working on formalising and proving Time Protection for the seL4 microkernel.