- 703-993-1660 (office)
Nguyen Engineering Building, 4428
4400 University Drive, MS 4A5
Fairfax, VA 22030
Paul Ammann’s big question is, “Why do things go wrong, and what can we do about it?” His research strives to answer this question with regard to semantic-based transaction processing, software for critical systems, secure information systems, software testing and formal methods. The most exciting aspect of his recent research can be found at the intersection between formal methods and databases and the crossover of formal methods and testing. Ammann has been published in over 80 research papers and refereed journals, conferences, and workshops. He teaches a variety of programming and design courses for Software Engineering and Information Technology students.
PhD, Computer Science, University of Virginia
MS, Computer Science, University of Virginia
AB, Computer Science, Dartmouth College
Faculty Rank: Associate Professor
- CS 332 Object-Oriented Software Design and Implementation Section 001
- SWE 401 Internship Reflection Section 001
- SWE 332 Object-Oriented Software Design and Implementation Section 001
- SWE 301 Internship Preparation Section 001
- SWE 619 Object-Oriented Software Specification and Construction Section 002
2012 - 2014 : Usability Analysis of Security Protocols. Funded by Dartmouth College.