As of February 2024, I recently graduated with my Bachelor's degree in Computer Science with a minor in Physics! I've also submitted my applications for Formal Verification Ph.D. programs at Carnegie Mellon University, Cornell University, The University of Pennsylvania, The University of Washington, MIT, and Oxford University, still waiting on results from each. For the past month I've worked on a few projects, most notably VOLPIC, a formal verification platform for the Pascal programming language using Coq. I gave this presentation at the Dallas Hackers Association on my progress. In addition to writing code, I've been preparing for my upcoming trip to the Mediterranean by continuing to study Greek (I'm on month 7) and catch up on Italian. I made this page to keep track of phrases I'd like to remember. I've also started to play Chess again, add me on Chess.com!

As of September 2023, I recently attended IEEE Quantum Week 2023 on scholarship from the NSF. I'm currently applying for graduate CS programs at schools like CMU, UPenn, UW, and Oxford. I'm continuing my research with Dr. Kevin Hamlen on bottom-up verification of binary programs. I'm working on NAME, a language-agnostic, modular assembly language emulation pipeline as my senior capstone project, I'm teaching the second iteration of my Introduction to Compiler Design course, and I started playing Go. Send me a challenge!

As of July 2023, I recently attended PLDI 2023 and presented my poster for Prettybird at the Student Research Competition. I'm interning at NVIDIA on the Linux Graphics Testing team for the second time, and I'm researching with Dr. Kevin Hamlen on bottom-up verification of binary programs. I'm refining the curriculum for my Practical Compiler Design course for the Fall 23 semester, and I'm ramping up to apply for graduate school for the 2024-2025 school year.

As of March 2023, I have just submitted an extended abstract of Prettybird to the PLDI 2023 Student Research Competition. I began teaching my Practical Compiler Design course this semester, and it's going strong. I'll be presenting a talk on Formal Program Verification at the first Dallas Cyberfest soon.

As of November 2022, I have just finished working on Prettybird, a functional programming language for font generation. I submitted a paper for this project to PLDI 2023 and am waiting to hear back.

I am preparing to teach a course in practical compiler design next semester to a tentative 50 students, the code and lectures for this course will be public soon.

As of Summer 2022, I am working on Ocarina of Time: Legendary Edition, a decompilation hack of OOT intended to add story elements (and whatever else I want) from the OOT manga. It's been tons of fun, and the decomp is still in the early documentation phase, so it's like trekking through a jungle most of the time.

I'm also planning on revisiting Purple, I have a few ideas of how to go about it and I'm excited to revisit.

As of April 2022, I am in between a few projects. YARR is now a fully-functional (and mostly realtime) raytracing renderer written in CUDA C/C . This project was incredibly fun, I strongly recommend a rendering project to anyone. I'm studying relativity with the intent to add relativistic rendering to the project, with the end goal of drawing some black holes.

I'm also working on a 3D remake of atc, a very addicting terminal game I've been playing instead of paying attention in class.

As of October 2021, I am currently working on Purple, a simple compiled language! I'm learning a lot more about assembly and compiler design, and it's a lot of fun designing your own programming language!