I am Me

Personal

I don't use computers much outside of work.

I learned Jazz under Joel DiBartolo

Professionally I am loud. Personally, I don't have much to say.

Professional

I have been done many things and worked in many domains.

These are some things I have done.

1. Meteorology
2. Integrated Circuit Simulation
3. Distributed Computing with Portable Hypervisors
4. Street Level Mapping
5. Indoor 3D reconstruction
6. Synthetic Aperture RADAR for self-driving cars
7. Security and Offensive Design
8. Spatial Genomic Sequencing

Branches of applied math I have had to work in.

• Linear Algebra
• Graph Theory
• Type Theory
• Category Theory
• Spectral Graph Theory

Programming languages I have used.

• C++
• Python
• BASH
• Nim
• LEAN
• SMT2