- I'm currently a computer science research associate at Boston College.
- My interests include compilers, type theory, algebraic topology, and embedded systems.
- My current languages of choice are OCaml, Go, and Rust, although I am a bit of a PL nerd and have experience with many other languages.
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.