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
Pinned Loading
-
COS350_P04_Animation
COS350_P04_Animation PublicAn frame animator with parallelized ray tracer
Dart
-
COS382_PXX_Simple_Calendar_Language
COS382_PXX_Simple_Calendar_Language PublicA domain specific language to help create icalendar files
Java
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.