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 2020 Classes -- All Online
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
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
