Programming Languages & Verification
Mission: improve the software development process by replacing ugly development techniques with beautiful ones
Secret weapon: applied mathematical logic, including computer theorem proving (especially Coq) and type systems
