PhD Candidate
he/him
Jared is a third-year PhD student in computer science, working with Marco Gaboardi and Alley Stoughton 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 MS and BS in computer science from Stevens Institute of Technology, in 2022 and 2021 respectively.
Research Group: Principles of Programming and Verification
Websites: https://jaredpincus.com
Publications:
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.