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

2015 Picture

Teaching Winter, 2018: CSC463H Computational Complexity and Computability

Taught Fall, 2017: CSC438F/2404F Computability and Logic

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
HISTORIC PUBLICATIONS

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

MY CURRENT PhD STUDENTS:

Robert Robere (Toni Pitassi is his principle advisor.)

MY RECENT PhD's:

Venkatesh Medabalimi
Kaveh Ghasemloo Click here for Kaveh's PhD thesis "Uniformity and Nonuniformity in Proof Complexity".
Dustin Wehr (Jointly supervised with Alasdair Urquhart)
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 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):

HISTORIC PUBLICATIONS (scanned .pdf files) SLIDES FOR LECTURES (postscript files)