Ph.D. Candidate in Computer Science at Purdue University. I design and prove safety properties about novel programming languages and type systems.
-
Purdue University
- West Lafayette, IN
Search results
0 open and 0 closed projects found.-
There aren't any projects yet