Principal Investigators

Somesh Jha (608) 262-9519

Barton Miller (608) 263-3378

Thomas Reps (608) 262-2091

Graduate Students

	Gogul Balakrishnan (608) 263-0475	Mihai Christodorescu (608) 262-6625
	Vinod Ganapathy (608) 890-0019	Jonathon Giffin (608) 262-6625
	Pratap Ramamurthy (608) 262-5786	Shai Rubin (608) 890-0019
	Hao Wang (608) 262-6611

Affiliated Graduate Students

These Wisconsin students work for the joint Software Model Checking project between Carnegie Mellon University and the University of Wisconsin. Their work applies to our own research.

Denis Gopan (608) 265-9458

Akash Lal (608) 265-4892

Junghee Lim (608) 263-0475

Alexey Loginov (608) 265-9458

Nicholas Kidd (608) 265-4892

Louis Kruger works with a joint project between the Computer Sciences and Mathematics Departments at the University of Wisconsin.

Louis Kruger
(608) 262-6611

Previous Project Members

Hong Lin Hong is now working for Sun Microsystems in China.

David Melski Dave was part of the project as a post-doctoral fellow. He has now moved to research work outside the University of Wisconsin.

Mulhern Mulhern is now working on an independent project with Professor Charles Fischer.