Registered user since Thu 18 Oct 2018
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.
|CPP 2020||Proof Pearl: Braun Trees|
|Show activities from other conferences|
View general profile