Hi, I’m Jared! I’m a fifth year PhD candidate in computer science at Boston University, in the POPV group. My research interests generally concern formal methods in domains including security, static analysis, and mechanized proofs, as well as applications to fields such as graphics, cognition, and linguistics. I aspire to spend my life as a research professor and public science communicator, to maintain my lifelong passion for discovery and exchange of ideas.
I’m the co-creator of Computer Junkyard, a board game available now!
I also design roller coasters, develop video games, and create mathematical art.
Contact
Professional: pincus@bu.edu
Personal: jared@jaredpincus.com
Education
PhD in Computer Science, Boston University (2022-Present)
- Advisors: Marco Gaboardi, Alley Stoughton
MS in Computer Science, Stevens Institute of Technology (2022)
- Thesis: Commutativity Reasoning for the Heap
- Excellence in Graduate Research Award
- Advisor: Eric Koskinen
BS in Computer Science, Stevens Institute of Technology (2021, Highest Honor)
- Stephen L. Bloom Theoretical Computer Science Award
- Pinnacle Scholar Student
Publications
- An Abstract Domain for Heap Commutativity (VMCAI 2025)
- Properly Scaling the Speed of a Model Roller Coaster (Bridges 2024)
- Better Predicate Pruning and Heuristics for Commutativity Synthesis (ATVA 2023)
- Developing a Sculpture of the Trihelical Square Tiling (Bridges 2023)
- Veracity: Multicore Programming with Commutativity (OOPSLA 2022)
- Commutativity Reasoning for the Heap (MS thesis, 2022)
- Empirically Estimating the Dimensionality of Perceptual Face Space (Journal of Vision 2020)
Employment
Dream Egg Games, 2020 – Present
- Co-creator of Computer Junkyard board game
- Kickstarter in March 2025 raised over $250k
- Co-inventor on “Interlocking Tile Board Game” patent application
Analytical Mechanics Associates, Formal Methods Intern, Summer 2025
Articles
- Truth and Uncertainty in Science and Faith (Scientists in Synagogues 2024)
Projects
- Computer Junkyard (2020-Present)
- Trihelical Square Tiling (JMM Art Exhibition 2023)
- ChessMS (BostonHacks 2022)
- Confidentiality Enforcement via Type Abstraction (2020)