PhD Candidate
he/him
Jared is a fourth-year PhD student in computer science, working with Marco Gaboardi, Alley Stoughton, and Ankush Das in the POPV group. His research interests concern formal methods techniques in domains such as security, static analysis, and mechanized proofs, as well as interdisciplinary applications of formal methods. He earned his BS and MS in computer science from Stevens Institute of Technology, in 2021 and 2022 respectively.
Research Group: Principles of Programming and Verification
Website: https://jaredpincus.com
Publications:
Jared Pincus, Eric Koskinen. “An Abstract Domain for Heap Commutativity.” VMCAI 2025.
Jared Pincus. “Properly Scaling the Speed of a Model Roller Coaster.” Bridges 2024.
Adam Chen, Tegan Brennan, Parisa Fathololumi, Eric Koskinen, Mihai Nicola, Jared Pincus. “Better Predicate Pruning and Heuristics for Commutativity Synthesis.” ATVA 2023.
Jared Pincus. “Developing a Sculpture of the Trihelical Square Tiling.” Bridges 2023.
Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus. “Veracity: Declarative Multicore Programming with Commutativity.” OOPSLA 2022.
Jared Pincus. “Commutativity Reasoning for the Heap.” MS Thesis 2022.
Jared Pincus, Jordan W Suchow. “Estimating the dimensionality of face space empirically.” Journal of Vision 2020.