Registered user since Thu 11 Jun 2020
Name:Jared Pincus
Bio:
CS PhD student at Boston University. MS in CS from Stevens Institute of Technology.
Country:United States
Affiliation:Boston University
Research interests:Logic Design, Language Design, Mechanized Proofs, Relational Reasoning
Contributions
POPL 2025-profile
View general profile
View general profile