| /******************************************************************** |
| * 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 |
| |
| 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 |
