![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 Jeff Offutt](/media/uploads/people/.thumbnails/jeff_offutt.jpg/jeff_offutt-100x150.jpg)
Software Testing, Web Software Engineering, Software evolution
![Head shot image of Huzefa Rangwala](/media/uploads/people/.thumbnails/190620601-1.jpg/190620601-1-100x150.jpg)
Genomics, Learning Analytics, Social Media Analysis
![Head shot image of Sanjeev Setia](/media/uploads/people/.thumbnails/sanjeev_setia.jpg/sanjeev_setia-100x150.jpg)
Ad hoc Networks, Wireless Sensor Networks, Network Security
![Head shot image of Mark Snyder](/media/uploads/people/.thumbnails/mark_snyder.jpg/mark_snyder-100x150.jpg)
Language interpretation, Type-driven language specification, Compilers
![Head shot image of Elizabeth White](/media/uploads/people/.thumbnails/elizabeth_white.jpg/elizabeth_white-100x150.jpg)
Distributed Computing, Interoperability, Dynamic Reconfiguration