General Kenobi!

Hey, thanks for stopping on by my GitHub!

I'm a master's student at RIT, whose main interest is programming languages and functional programming:

• I'm currently researching formal verification of cryptographic protocols, working on Cryptis
• I did mal (Make A Lisp) for my high school senior thesis. A great experience and I would love to make another Lisp from scratch, and hopefully flesh it out some more!
• I implemented a compiler in Clojure for ALTO, a Haskell-like language, for my Compiler Construction course
• I am currently working through Crafting Interpreters, as you can see with my cljox repo. I will likely interpret the second interpreter in Rust, so stay tuned!

I'm also interested in computer science theory, particularly computability and complexity and especially efficient data structures and algorithms.

I write a lot of code for the JVM, first in Java, then Kotlin, and now mostly Clojure. I also use Rust and occasionally Haskell. I'm big into functional programming as well, so I hope to learn e.g. Scala and Elixir in the future. I've worked in C, C++, Python, and Golang as well.

I primarily use Emacs (Doom Emacs in particular). To stave off Emacs pinky, I use evil-mode.

Check out my dotfiles too!