AUTHORS

/********************************************************************
 * PROGRAM NAME: STP (Simple Theorem Prover)	
 *		
 * AUTHORS: Vijay Ganesh
 *	
 * BEGIN DATE: November, 2005
 *
 * LICENSE: Please view LICENSE file in the home dir of this Program
 ********************************************************************/

Primary Author and Project Leader
---------------------------------
* Vijay Ganesh
  Stanford University, Stanford, CA, USA (Nov, 2005 to 2007),
  MIT, Cambridge, MA, USA (Oct, 2007 to Sep 2012)
  University of Waterloo (Sep 2012 to present

Current Authors
---------------
* Mate Soos
  Paris University 6, Paris, France (Nov 2009 - present)

* Dan Liew
  Imperial College, London, UK (2013 - present)

* Khoo Yit Phang
  University of Maryland, College Park, USA (2013 - present)

* Ryan Govostes
  Apple Inc., USA (2013 - present)

Other Significant Author
------------------------
* Trevor Alexander Hansen
  University of Melbourne, Australia (Sep, 2008 - present)


Authors who contributed some code
---------------------------------
* Michael Katelman
  University of Illinois, Urbana-Champaign, USA (July - Oct, 2008)

* David L. Dill
  Stanford University, Stanford, CA, USA (Nov - Dec, 2005)

* Tim King
  Stanford University, Stanford, CA, USA (July - Sep, 2007)

* Philip Guo
  Stanford University, Stanford, CA, USA (Dec 2008)

Thanks
----------
* Steve Poland for the 'stp' group name in GitHub