My personal site

Me, Feb 2020

Hello, I’m a third-year PhD student at Purdue University in Indiana. My research field is programming languages and software engineering and I also have experience with general software development. My goal is to create tools to help other people create.


Key projects I've worked on with others

Key personal projects:

  • nominalscript: Nominal type system over TypeScript, similar to how TypeScript and Flow are structural type systems over JavaScript. A subset of the type system is defined and various properties are proven in Coq (reflexivity, antisymmetry, transitivity, top, bottom)
  • TreeScript: A language to transform other languages' syntax, similar to coccinelle but more basic and language-agnostic

More on GitHub (newer) including this website, and BitBucket (older)