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

Vita

Email: noahfleming@cs.toronto.edu



Education

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

Publications

Distribution-Free Testing of Linear Functions on R^n
Noah Fleming, Yuichi Yoshida
To Appear at ITCS 2020. [arXiv]

Semialgebraic Proofs and Efficient Algorithm Design
Noah Fleming, Pravesh Kothari, Toniann Pitassi
Foundations and Trends in Theoretical Computer Science 2019. [ECCC]

Stabbing Planes
Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere
ITCS 2018. [DROPS] [Slides]

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

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

Other Manuscripts, Projects & Expository Writings

Cuckoo Hashing and Cuckoo Filters
Noah Fleming
An exposition on Cuckoo Hashing and Cuckoo Filters. [PDF]

Quantum Spectral Algorithms for Planted Clique
Deeksha Adil, Noah Fleming, Ian Mertz
A Qubit-Efficient Quantum Spectral Algorithm for the Planted Clique Problem when k =O(n^(1/2)). [PDF]

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

CSC438/2404 Tutorials
The following files contain an outline of the information I will/have covered in each of the tutorials to date.
2. Sept. 20: Tutorial 2
3. Oct. 4: Tutorial 3
4. Oct 18: Tutorial 4
5. Nov 1: Tutorial 5
6. Nov 15: Tutorial 6
7. Nov 21: Tutorial 7

Solutions to Homework 3.

University of Toronto ACM ICPC Team
I am coaching the 2019-2020 U of T ICPC teams. More information can be found at the official U of T ICPC webpage