About
I am a Software Engineer with 10 years of professional experience working with a wide array of languages and tools, including:
C++
Python
Rust
SQL
C#
Haskell
HTML
CSS
Javascript
Terraform
Kubernetes
My areas of interest are compilers, programming languages, formal methods, computer graphics, and data engineering.
Currently, I am doing research and development on an tool to automatically translate C/C++ source code into Rust. The ultimate goal is to be able to convert as much code as possible without violating safety and correctness properties. As this project progresses, I will be posting details about interesting things I find.