I'm a Mathematics & CS double major at The University of Texas at Tyler interested in numerical analysis, formal methods, and low-level, high-reliability computing. Firmware is close enough to the metal to present a lot of challenges I find exciting, but far enough away from the hardware that I don't need to be an EE. In other words, it's just right for me. I also like language design, compiler construction, and formalization of grammars and syntax.
In August I completed a seven-month full-time co-op with Trane Technologies' Residential Division, where I wrote controls software and learned all the things we aren't taught in our CS classes! I'm very excited for the opportunity to return in the spring while I take classes! Next year I'll be integrating Rust into our tech stack and exploring a distributed microservice architecture.
I'm looking to spend my free time learning from and contributing to some of my favorite open-source projects. Please drop me a message here on GitHub if you have tips or suggestions!
- The Rust programming language.
- The UNIX shell and UNIX philosophy.
- Self-hosted services.
- Great-looking UI.
- Thorough and complete documentation!
- Muh coffee! (Certified Aeropress Enthusiast)
- MATH 3425: Foundations of Mathematics
- MATH 2415: Multivariate Calculus
- COSC 3325: Analysis of Algorithms
- HNRS 2414: Honors Calculus II
- COSC 4327: UNIX Shell Programming
- COSC 4336: Software Development—we wrote a chess engine!
- COSC 4340/5340: Comparative Study of Programming Languages
- ART 4345/5345: Renaissance Art History (Italian Focus)
I have a blog at howdytx.technology where I write about anything in CS or math that interests me.