Write a Blog >>
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


CPP 2020 Proof Pearl: Braun Trees
Show activities from other conferences

POPL 2020-profile
View general profile