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
https://orcid.org/0000-0001-8810-9323