Thomas Sewell

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

CPP 2020 Author of Proof Pearl: Braun Trees within the CPP 2020-track