Education
Masters of Science in Computer Science
Texas A&M University – San Antonio
January 2025 – August 2026
Bachelors of Science in Computer Science
University of Texas at San Antonio
August 2020 – August 2024
Work Experience
Adjunct Faculty – Computer Science
Texas A&M University – San Antonio
August 2026 – Present
- Instructor for Programming Fundamentals II.
Research Assistant
January 2026 – August 2026
- Conducted research under Dr. Young Lee on graph-based vulnerability detection for concurrent systems.
- Developed LLVM IR-based analyses to identify concurrency-induced memory vulnerabilities in Rust programs.
Teaching Assistant
August 2025 – May 2026
- Lab instructor for Programming Fundamentals I, II and Data Structures.
- Assisted in grading assignments for Programming Languages, Computer Forensics, and Discrete Computational Systems.
- Delivered constructive, detailed feedback to support student growth and comprehension.
Technical Artist – Animation, Rigging, Pipeline
Toontown Rewritten
April 2021 – Present
- Collaborated with a diverse group of programmers to create new gameplay content and systems for MMO-RPG.
- Contributed in the Sellbot Task Force expansion resulting in online media coverage and 3,000+ concurrent users.
- Responsible for developing and maintaining internal tools with Python and C++
- Reduced 3D animator's workload by developing an in-house animation transfer solution.
Other Experience
Assistant Store Manager – Training & Leadership
Dollar General
November 2020 – November 2024
- Contributed to the initial training and development of incoming Store Managers.
- Recognized by Divisional Vice President for maintaining a “model store” across four consecutive years.
Projects
- Collaborated with core team to launch a new gameplay expansion.
- Transferred multiple new ice skating animations to various character rigs.
- Contributed to a transfer solution to automate derived character animations.
- Updated and refurbished out-of-date tools related to 2D texture processing.
- Primary architect behind extending an LLVM-IR-based Code Property Graph with generalized concurrency semantics.
- Tightened over-approximation of C11 RF, SW, HB circularity with a novel RF-constrained closure algorithm.
- Introduced FFI control flow relationships to enable analysis of Rust, C, and C++ programs.
- Contributed to the development of a framework for detecting memory vulnerabilities in concurrent systems.
- Implemented methods for tracking taint sources and preserving information across Rust → LLVM → Neo4j.
- Introduced visualization enabling developers to trace synchronization primitives across abstraction layers.
Miscellaneous Toontown Concepts
Publications
Advancing Intermediate Representation-Driven Graph Analysis for Detecting Concurrent Memory Vulnerabilities
Committee: Young Lee, Jeong Yang, Izzat Alsmadi
Masters Thesis
A Graph-Based Visualization Tool for Teaching Rust Memory Safety
Mark Solis, Young Lee
LEARNER 2026 (EASE 2026 Companion)
LVing: A Vulnerability Detection and Visualization Platform for Rust
Ernesto Diaz, Mark Solis, Young Lee, Jeong Yang, Deep Gandhi
ICSE 2026
Research Interests
Program Analysis
Concurrent Systems
Programming Languages
Formal Methods
Computing Education
Computational Geometry
Contact Information
LINKEDIN
GITHUB