Kevin Pratt


I'm a third-year PhD student in the Computer Science Department at CMU, where I am part of the Theory Group. My advisor is Ryan O'Donnell. I am broadly interested in algorithms and complexity, with a particular interest in problems of an algebraic nature.

Publications and Preprints

Cornelius Brand and Kevin Pratt. An Algorithmic Method of Partial Derivatives. 2020. link

Kevin Pratt. Waring Rank, Parameterized and Exact Algorithms. Foundations of Computer Science (FOCS), 2019. arXiv

John C. Bowers, Philip L. Bowers, and Kevin Pratt. Almost all circle polyhedra are rigid. Geometriae Dedicata, 2019. arXiv

John C. Bowers, Philip L. Bowers, and Kevin Pratt. Rigidity of circle polyhedra in the 2-sphere and of hyperideal polyhedra in hyperbolic 3-space. Transactions of the American Mathematical Society, 2018. arXiv

Kevin Pratt. Closed-Form Expressions for the n-Queens Problem and Related Problems. International Mathematics Research Notices, 2017. arXiv

Kevin Pratt, Connor Riley, and Donald R. Sheehy. Exploring Circle Packing Algorithms. SOCG: Symposium on Computational Geometry (Multimedia Session), 2016. link

Martínez-García, Pedro J., et al. The walnut (Juglans regia) genome sequence reveals diversity in genes coding for the biosynthesis of non-structural polyphenols. The Plant Journal. 2016.