About Us

JavaPathFinder was developed over more than 5 years by a number of members, affiliated researchers and student interns of the Robust Software Engineering Group at the NASA Ames Research Center. The following people have worked, or still work on, JavaPathFinder's various versions:

ARC Members (core team) Peter Mehlitz Dimitra Giannakopoulou Corina Pasareanu Masoud Mansouri-Samani

Student Interns Mihaela Gheorghiu Bobaru Suzette Person Peter Dillinger Alex Groce Sarfraz Khurshid Flavio Lerda Oksana Tkachuk Radek Pelanek Jamie Cobleigh Nestor Catano Jesus Martinez

Past ARC Members Willem Visser John Penix Owen O'Malley Klaus Havelund Dale Martin and Lantz Moore from Clifton Labs

Affiliated Researchers Gary Lindstrom

Supporting Organizations

We would like to thank the following organizations for supporting JavaPathFinder open sourcing:

	The National Aeronautics and Space Administration (NASA)
	The NASA Ames Research Center (ARC)
	The Research Institute for Advanced Computer Science (RIACS)