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).
Awards
- 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.