George Mason University
George Mason University Mason
George Mason University

Paul Ammann

Associate Professor, Computer Science

Contact Information MORE LESS

  • 703-993-1660 (office)
  • Nguyen Engineering Building, 4428
    4400 University Drive, MS 4A5
    Fairfax, VA 22030

staff menu:


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

More Information

Faculty Rank: Associate Professor


2012 - 2014 : Usability Analysis of Security Protocols. Funded by Dartmouth College.

Research Interests

Software Engineering