I am a Ph.D. student in the Theory Group at the University of Toronto, where I am fortunate to be supervised by Toniann Pitassi. My research interests include proof complexity, circuit complexity, lifting theorems, and property testing.


Email: noahfleming@cs.toronto.edu


Ph.D. in Computer Science (2017 - Present)
University of Toronto
Advisor: Toniann Pitassi

M.Sc. in Computer Science (2015 - 2017)
University of Toronto
Advisor: Toniann Pitassi

B.Sc. Double Major in Computer Science and Pure Mathematics (2010 - 2015)
Memorial University of Newfoundland
Graduated with First Class Distinction


The Proof Complexity of Sherali-Adams and Sum-of-Squares
Noah Fleming, Toniann Pitassi
Survey in Preparation 2018.

Stabbing Planes
Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere
ITCS 2018. (ECCC) (Slides)

Random CNFs are Hard for Cutting Planes
Noah Fleming, Denis Pankratov, Toniann Pitassi, Robert Robere
FOCS 2017. (ECCC) (Slides)

Predicting Protein Thermostability Upon Mutation Using Molecular Dynamics Timeseries Data
Noah Fleming, Benjamin Kinsella, Christopher Ing
Manuscript 2016. (bioRxiv)

Complexity of alignment and decoding problems: restrictions and approximations
Noah Fleming, Antonina Kolokolova, Renesa Nizamee
Machine Translation 2015. (DOI)

Other Projects & Expository Writings

Cuckoo Hashing and Cuckoo Filters
An exposition on Cuckoo Hashing and Cuckoo Filters. (PDF)

ACM-ICPC Programming Competition

I am the coach for the 2018 ACM-ICPC Programming Competition team. Tryouts will be held Sunday, October 7th. For more information on the competition and how to register for tryouts please see the website.