I've had a passion for programming languages since I first started back in 2012. I completed my BS in CS and Mathematics in 2016 at the University of Tulsa. During those four years, I participated in research under the direction of Dr. John and Dr. Rose Gamble. I also completed two internships and participated in free lance development for companies both in Oklahoma and California. These four years had a huge impact on me and my love for this field. When I graduated, I was possessed with a hunger to know more about the theoretical foundations of Computer Science. I entered into the Ph.D. CS program at the University of Tulsa under the supervision of Dr. Rose Gamble. Under her direction, I participated in research for local companies, for the University, for the US Air Force, and for the US Army Corps of Engineers. Ph.D. research was an amazing time for ingenuity and also an extremely trying time, but I learned so much in large part to my supervisor and my fellow colleagues. I completed my Ph.D. this past May (2024) and have been working as an Instructional Assistant Professor of Computer Science at the University of Tulsa teaching Algorithms & Data Structures, Compute Networks, and Software Engineering. If you have any interest in formal systems, autonomous systems, self-adaptive systems, or software engineering, I'd love to talk anytime.
- 🌍 I'm based in Tulsa, Oklahoma
- 🖥️ See my portfolio at https://github.com/isr413
- ✉️ You can contact me at [email protected]
- 🚀 I'm currently working on https://github.com/isr413/CASSim
- 🧠 I'm learning Rust and Zig
- 🤝 I'm open to collaborating on Autonomous systems, embedded systems, formal proofs of system properties, web and mobile applications
- ⚡ I've always loved participating in competitive activities; I'm currently the ICPC coach for the University of Tulsa and have participated in the PT for various TCGs; If there is ever a good puzzle to solve, I'm in.
