My Work

Publications

Writing More

• Coq Tactics in Plain English
• A Brief Survey of Formal Models of Concurrency - arXiv Preprint
• The Verification of ARMv7 memset - Progress Report
• Theoretical Physics Notes
• Transcription of "Relativity: The Special and General Theory" by Albert Einstein - LaTeX source
  A nice quote from this book that I enjoyed - "No fairer destiny could be allotted to any physical theory, than that it should of itself point out the way to the introduction of a more comprehensive theory, in which it lives on as a limiting case."
• Interactive Object Segmentation in Mobile Robots - URSA Proposal December 2021
• A Brief Analysis of the Apollo Guidance Computer - arXiv Preprint - LaTeX source

Teaching

As an undergraduate, I taught two semester-long compiler design workshops, Practical Compiler Design in Spring 2023 and Introduction to Compiler Design in Fall 2023.

Additionally, I've given a number of educational outreach talks in fields such as formal verification and quantum computing through the UTD Computer Security Group (of which I am an officer) and the Dallas Hackers' Association.

Title	Venues	Dates
Tales from the Crypt(analysis): A Survey of Side-Channel Attacks Recording	CSG	April 2025
Hacking the Man - A Guide to Filing Small Claims Cases in Dallas County	DHA	March 2025
Secrets of the Universe: The Ultimate Formal Verification Talk (v2) Demo	CSG	Nov 2024
Qubit Recycling Revisited Handout	UTD Quantum Information Seminar	Oct 2024
30 Cycles or It's Free - Formal Timing of Binary Code	DHA, CSG	Sept, Oct 2024
Quarterly LangSec Review #1 - Dancing, Type Systems, and Quantum Computers	DHA	Sept 2024
The Good, The Bad, and The Binary: Formal Timing and Correctness of Binary Code	Dartmouth TrustLab	Aug 2024
Verifier of Lifted Pascal in Coq	DHA	Feb 2024
Type Inhabitation	DHA	Nov 2023
Secrets of the Universe: The Ultimate Formal Verification Talk (v1)	CSG	Oct 2023
Formal Program Verification (v1, v2)	DHA	May, Oct 2023
BCKW Combinator Calculus LaTeX Source	CSG	Apr 2023
Formal Program Verification LaTeX Source   Video	Dallas Cyberfest	Mar 2023
Secure Quantum Information Transfer	CSG	Nov 2022
Decompilation Schmecompilation	CSG	Oct 2022
Analysis of "Learning Synergies between Pushing and Grasping with Self-supervised Deep Reinforcement Learning" LaTeX source   Original Paper	UTD Interactive Robotics and Vision Lab	Apr 2022
Prison Snake Recording	CSG	Feb 2022

Projects

• Encrypted File System - CS 6324
• Graph Shepherding Algorithms
• DEFFS
• Turing

Web Ring Is it really a web ring yet? Not sure, gotta wait til it catches on...

Games

Miscellaneous

• My public keys
• My Bookshelf
• My Record Collection
• Where Have I Been?
• Transcriptions of "The International Library of Music" Public Domain Sheet Music

Scripts

• C Scripts
• Bash Scripts
• Unity Scripts
• TI-BASIC Scripts