Paul Ammann

Associate Professor, Software Engineering
Department of Computer Science
Volgenau School of Engineering
George Mason University
Mail Stop 4A5; Engineering Building, Room 4428
pammann@gmu.edu
703 993-1660; 703 993-1638 (fax)

Spring 2022 Office Hours: Monday 2:00-3:00, Tuesday 2:00-3:00. Or by appointment.
Office hours are ONLINE ONLY in my zoom personal room.
Zoom may demand a passcode: 1uL2qf

2nd edition available from Cambridge University Press, November 2016.
Order from Amazon

Google Scholar CV

Research Interests

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

Teaching

Internship Preparation/Reflection (SWE 301/SWE 401)
OO Software Design and Implementation (SWE/CS 332)
Programming For the World Wide Web (SWE 432)
Software Testing and Maintenance (SWE 437)
Program Design and Data Structures (INFS 590)
OO Software Specification and Construction (SWE 619)
Distributed Software Engineering (SWE 622)
Formal Methods and Models For Software Engineering (SWE 623)
Software Testing (SWE 637)
Software For Critical Systems (INFT 823)

Spring 2022 Classes -- All In-Person

SWE 205: Software Usability (draft)
SWE 419: OO Software Design and Implementation (draft)
Note that SWE 419 is a renumbering of SWE/CS 332. It is exactly the same course, and it satisfies exactly the same requirements.

SWE ACS and SWE Minor

You may be interested in slides describing the Software Engineering Minor and the Applied Computer Science Degree in Software Engineering. More information can be found on the relevant department page.

Biosketch

2021 Stone Mill 50 Miler.
Photo by Dan Reichmann.

I am an Associate Professor in the Software Engineering Group in the Department of Computer Science. 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 eighty some research papers in refereed journals, conferences, and workshops.

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