Registered user since Thu 28 Jun 2018
My interests include programming languages, operating systems, and security. I am particularly interested in the use of safe programming languages as operating systems, and I have worked to integrate features traditionally associated with operating systems into safe programming language environments.
|CPP 2016||Committee Member in Program Committee within the CPP-track|
|Show activities from other conferences|
View general profile