I’m a student researching computer science and the theory of computation.
I am building simple interfaces that bridge the gap between userland
and silicon to accelerate compute-intensive math programs. Outside of school,
I work on various open source systems and compilers
projects.
I'm seeking full time employement opportunities as a software engineer!
Here's some of the languages I have experience with:
C, C++, TypeScript, Python, Rust, Swift, OCaml, Haskell, Go, TeX, Rocq Prover
Interested in collaborating or learning more about my work? Lets chat!
email: me@carsonp.net