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.