Group Red

This group is charged with building a theorem prover based on the inverse method.

 Chad Brown        cebrown@andrew
 Kaustuv Chaudhuri kaustuv@andrew
 Kerry Ojakian     keo@andrew
 Brigitte Pientka  bp@cs
 Jeremy Praissman  jeremyp@andrew