VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
Jared Pincus

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

Show activities from other conferences

Using general profile