Simon Winwood

Research & Engineering

I work on tools and techniques that use formal methods and programming language techniques to ensure
the safety and security of software. My research interests include interactive theorem proving, language-based
security, and static analysis.


Simon holds a B.E and a PhD in Computer Science from the University of New South Wales, Australia.
Simon’s academic work focused on type systems for verifying properties of low-level systems. Prior to
joining Galois, Simon worked on the formal verification of the seL4 microkernel at National ICT Australia.