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