Stephen A. Cook

University Professor Emeritus
Department of Computer Science
University of Toronto
Toronto, Canada M5S 3G4

Tel: (416) 978-5183
sacook [at] cs [dot] toronto [dot] edu
Office: Sandford Fleming 2303C

I am a member of the Theory Group in the Computer Science Department.

Bio

Picture

Teaching Fall 2014: CSC373H Algorithm Design, Analysis, and Complexity

My book with Phuong Nguyen
"LOGICAL FOUNDATIONS OF PROOF COMPLEXITY" (ASL Perspectives in Logic Series)
is now available from Cambridge University Press.
Click here for a list of corrections.
Click here for a partial draft from September 2, 2008.

PAPERS

SLIDES FOR LECTURES
($100 PRIZE OFFER: See slides for the Princeton Barriers conference)

MY CURRENT PhD STUDENTS:

Kaveh Ghasemloo
Dustin Wehr (Jointly supervised with Alasdair Urquhart)
Robert Robere (Jointly supervised with Toni Pitassi)
David Liu (Jointly supervised with Toni Pitassi)
Venkatesh Medabalimi

MY CURRENT (and one PAST) MSc STUDENTS:

Frank Vanderzwet (Jointly supervised with Toni Pitassi) (Graduated December, 2012)

MY RECENT PhD's:

Dai Tri Man Le
Lila Fontes (Jointly supervised with Toni Pitassi)
Akitoshi Kawamura
Steven Perron Click here for Perron's PhD thesis "Power of Non-Uniformity in Proof Complexity".
Mark Braverman
Phuong Nguyen
Alan Skelley
Tsuyoshi Morioka
Antonina Kolokolova
Michael Soltys
Valentine Kabanets

COURSE WEB SITES AND COURSE NOTES

FAMILY LINKS:
Gordon's carbon fibre tube business
Gordon in Globe and Mail
Gordon and Ben sailing off San Diego
2010 49er Worlds Grand Bahama Island Gordon and Hunter
Close action in Sydney (Gordon and Ben)
James

SLIDES FOR LECTURES

SOME PAPERS and REVIEWS

Postscript or pdf files for the following papers are available (roughly in reverse chronological order):

SLIDES FOR LECTURES (postscript files)