![Thomas Sewell](https://popl20.sigplan.org/getProfileImage/thomassewell1/d82ce9c1-0d8c-4180-a925-6a9ec1235b7b/small.jpg?1712255664000)
Registered user since Thu 18 Oct 2018
Name:Thomas Sewell
Bio:
Thomas was a key proof engineer and maintainer on the NICTA/Data61 seL4 verification project, completed his PhD at UNSW on translation validation for binary correctness of seL4, and is now a postdoc at Chalmers University, working on CakeML.
Country:Sweden
Affiliation:Chalmers University of Technology, Sweden
Research interests:Formal Methods, Interactive Proof Systems, Compilers
Contributions
2020
POPL 2020-profile
View general profile
View general profile