Investigators

Swarat Chaudhuri - Rice University

Keith Cooper - Rice University

Isil Dillig - University of Texas, Austin

Thomas Dillig - University of Texas, Austin

Chris Jermaine - Rice University

Ben Liblit - University of Wisconsin, Madison

David Melski - Grammatech, Inc.

Thomas Reps - University of Wisconsin, Madison

Vivek Sarkar - Rice University  (Principal Investigator)

Moshe Vardi - Rice University