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 content.


Key projects I've worked on with others

Key personal projects:

  • nominalscript (WIP): Nominal type system over JavaScript, similar to TypeScript and Flow. The type system is also formalized in coq
  • 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)