People

Senior Researchers

David Coppit: Assistant Professor of Computer Science. MSCS, PhD University of Virginia; BS Physics, BS Computer Science University of Mississippi

Meghan Revelle (PhD): Received her Master's degree in May of 2005. Is currently working on reverse engineering software plans.
Jackie Murphy (Master's): Working on random test data generation.
Brian Meckstroth (Master's): Working on GUI support for managing software plans in Spotlight.

Robert Painter (PhD): Received his Master's in May 2004 for his work on intermediate domains for reliability engineering. Is doing his PhD on software plans.
Justin Manweiler (Undergraduate): Helped to develop version 2 of Spotlight, as part of the software plans project.
Jiexin Lian (summer researcher): Helped to develop a program to automatically create an input generator from a grammar, as part of the bounded exhaustive testing with assertions project.
Will Thomasson (Master's): Worked on evaluating software plans for the development of new code.
Ben Cox (Undergraduate): Graduated with Highest Honors May 2004. Published Software Plans for Separation of Concerns in the ACP4IS workshop at AOSD 2004. Is taking a year off, then heading to graduate school.
Jennifer Haddox-Schatz (Master's): Graduated in May 2004. A paper on her work on specification-derived assertions was submitted to FSE 2004. Has taken a job with Daniel H.Wagner Associates, Inc. in Hampton, VA.
Ashwin Mundra (Master's): Graduated in May 2004. He compared the efficacy of several verification techniques, as part of the bounded exhaustive testing with assertions project. He has taken a job with MediData.