Principal Investigator Adam Chlipala
A programming language for web applications that rules out many security problems by construction.