Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Chris Hawblitzel

Chris Hawblitzel

I am a member of the Systems Research Group at Microsoft Research. My interests include programming languages, operating systems, verification, 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.


Professional Activities

Contact Information

Phone: 425-707-7398
 where x = Chris
   and y = Hawblitzel
   and z = microsoft