Clark Wayne Barrett


Ph.D. Stanford University 2003 UnitedStates
Dissertation: Checking Validity of Quantifier-Free Formulas in Combinations of First-Order Theories
Mathematics Subject Classification: 68—Computer science

Advisor: David L. Dill

Click here to see the students listed in chronological order.

Bansal, KshitijNew York University2016
Chikanian, IgorNew York University2011
Conway, ChristopherNew York University2011
Ge, YetingNew York University2010
Jovanovic, DejanNew York University2012
King, TimothyNew York University2014

According to our current on-line database, Clark Barrett has 6 students and 6 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 129999 for the advisor ID.