![Head shot image of Paul Ammann](/media/uploads/people/.thumbnails/Paul%20Ammann.jpg/Paul%20Ammann-100x150.jpg)
Software Testing, Fault Tolerance, Formal Methods
![Head shot image of Thomas LaToza](/media/uploads/people/.thumbnails/latoza_headshot.jpg/latoza_headshot-100x150.jpg)
Human-Computer Interaction, Software Tools, Crowdsourcing
![Head shot image of Andrian Marcus](/media/uploads/people/.thumbnails/a32.jpg/a32-100x150.jpg)
Software Development and Evolution, Program Understanding and Software Visualization, Software Analysis and Metrics, Cognitive Models of Software Development Process
![Head shot image of Daniel Menascé](/media/uploads/people/.thumbnails/daniel_menasce.jpg/daniel_menasce-100x150.jpg)
Autonomic Computing, E-commerce, Analytic Performance Modeling, Software Performance Engineering
![Head shot image of ThanhVu (Vu) Nguyen](/media/uploads/people/.thumbnails/tvn.jpg/tvn-100x150.jpg)
software engineering; programming languages; formal methods
![Head shot image of David Rosenblum](/media/uploads/people/.thumbnails/rosenblum.jpg/rosenblum-100x150.jpg)
Software Engineering, Distributed Systems, Mobile Computing, Machine Learning
![Head shot image of Shvetha Soundararajan](/media/uploads/people/.thumbnails/shveta.jpg/shveta-100x150.jpg)
Agile Software Engineering, Software Metrics, Computer Science Education
![Head shot image of Elizabeth White](/media/uploads/people/.thumbnails/elizabeth_white.jpg/elizabeth_white-100x150.jpg)
Distributed Computing, Interoperability, Dynamic Reconfiguration