Paul Ammann Associate Professor, Software Engineering Department of Computer Science Volgenau School of Information Technology and Engineering George Mason University Mail Stop 4A4; S&T II, Room 349 pammann@gmu.edu 703 993-1660; 703 993-1638 (fax)

Available from Cambridge University Press, January 2008. Order from Amazon

Research Interests

• Semantic-Based Transaction Processing
• Software For Critical Systems
• Secure Information Systems
• Software Testing
• Formal Methods

Teaching

• Programming For the World Wide Web (SWE 432)
• Program Design and Data Structures (INFS 590)
• Software Construction (SWE 619)
• Formal Methods and Models For Software Engineering (SWE 623)
• Software Testing and Quality Assurance (SWE 637)
• Software For Critical Systems (INFT 823)

Spring 2009 Classes

• SWE 619: Software Construction
• SWE 637: Software Testing

Biosketch

2005 JFK 50 Miler, Appalachian Trail section. Photo by BrightRoom.

I am an Associate Professor in the Department of Information and Software Engineering. My basic research interest might best be described as "Why do things go wrong and what can we do about it?" Current research topics include semantic-based transaction processing, software for critical systems, secure information systems, software testing, and formal methods. Particularly fruitful of late have been studies of the intersection between formal methods and databases and of the intersection between formal methods and testing. Such cross disciplinary topics have always interested me - probably a consequence of my undergraduate education. I have published seventy some research papers in refereed journals and conferences.

I earned an AB degree in Computer Science from Dartmouth College, and MS and PhD degrees in Computer Science from the University of Virginia.

I enjoy recreational racing for road runners, trail runners, and triathletes. I offer my reports to those interested in my perspective on these events.

CS home page