Third year Ph.D. student in Computer Science at Purdue University. I design and prove safety properties about novel programming languages and type systems.
-
Purdue University
- West Lafayette, IN
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.