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 lie in Computational Complexity with a particular focus on Proof Complexity.

I will be a visiting student at the Institute for Advanced Study for the fall semester of 2017.

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

Stabbing Planes
Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere
In Submission 2017. (ECCC)

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)