F. Pitt – Publications & Awards

Publications

Michelle Craig, Diane Horton and François Pitt, Forming Reasonably Optimal Groups (FROG), Proceedings of the ACM 2010 international conference on supporting group work, Sanibel Island, Florida, USA, November 7–10, 2010, pages 141–150.
Ph.D. thesis: A Quantifier-Free String Theory for ALOGTIME Reasoning, 2000, University of Toronto, Department of Computer Science (under the supervision of Prof. Stephen Cook).
M.Sc. thesis: The Bounded Linear Calculus: A characterization of the class of polynomial-time computable functions based on bounded linear logic, 1994, University of Toronto, Department of Computer Science (under the supervision of Prof. Stephen Cook).

Recipient of the CSSU Award for teaching excellence in Computer Science for the academic years 2014–2015, 2010–2011, 2009–2010, 2008–2009, 2007–2008, 2005–2006, 2004–2005, 1999–2000, 1998–1999, 1997–1998.
Recipient of the UTSU/APUS Undergraduate Teaching Award for teaching excellence in 2009–2010.
Recipient of the Faculty of Arts and Science Outstanding Teaching Award for 2006–2007.
Nominated for the Faculty of Arts and Science Outstanding Teaching Award for 2005–2006.
Nominated for TV Ontario's Best Lecturer 2006 contest.