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