Research Interests and Projects

I'm interested in using formal methods to improve computer security. I specifically want to focus on implementation and design of programing languages, theorem proving automation and certified programming.

Key terms: automated theorem proving, certified programing, computer security, formal methods, programing languages, theorem proving automation