Hello 👋 my name is

Santiago Rodriguez

I'm a researcher + musician focusing on the intersection of programming language theory, algebraic geometry, and computational complexity theory. Broadly, my work centers around understanding the strengths and limitations of computation from the perspective of abstract nonsenseA nonderogatory term for category theoretic ideas [wiki]. I'm always open to chat and collaborate, so feel free to reach out!

name + age

Santiago Rodriguez, 22

languages

English and Spanish

contact

education

B.S. in Mathematics and Computer Science Sep 2020–Aug 2024: University of Central Florida

experiences

Visiting Researcher May 2023–Present: University of Pennsylvania
Currently investigating formal verification of compiler optimization algorithms targeting LLVM IR in collaboration with the Vellvm team. Previously investigated differential programming semantics for verifying machine-learning training algorithms.
Senior Design Team Member Sep 2023–Apr 2024: Georgia Tech Research Institute
Investigated machine learning methods for detecting cyberattacks in power grids in collaboration with a team of undergraduate peers and the U.S. Department of Defense's National Security Innovation Network.
Undergraduate Researcher May 2022–Present: University of Central Florida
Currently investigating static analysis methods for approximating worst-case time complexity. Previously investigated rogue wave occurrences in the deep sea modeled as finite-gap solutions for the focusing Nonlinear Schrödinger Equation.
Mathematics and Computer Science Tutor Sep 2020–Present: Independent
Designed and taught lessons on Python programming, advanced algorithms, and logic to classes with up to 20 students. Also developed a text-based dungeon crawler in Python to teach students about project development.

skills

Programming Languages

C/C++
Python
Java
HTML/CSS
JS/React
Mathematica
MATLAB
Haskell
Coq
NASM

Software

Linux
LaTeX
Microsoft 365 Suite
Git
Docker
Anaconda

honors + awards

Ronald E. McNair Scholar
NSF REU Fellow
Pi Mu Epsilon Honor Society
McNair Summer Undergraduate Research Fellow
Florida's Bright Futures Academic Scholarship
National Hispanic Scholarship

research interests

Programming Languages
Machine Learning
Abstract Algebra
Analysis

projects

Mechanized Dataflow Analysis for LLVM IR: with Steve Zdancewic
Enhancing Vellvm's mechanized analysis framework to support instruction-level dataflow analyses that are sound with respect to semantic specifications.
Representation-Theoretic Differential Programming Semantics: with Steve Zdancewic, Stephen Mell
Introducing a differential calculus within the simply-typed lambda calculus as a foundation for verifying continuous optimization algorithms in machine learning.
Asymptotic Distribution of Rogue Wave Amplitudes: with Alexander Tovbis
Deducing tight asymptotic bounds on wave amplitude distributions in the deep sea, modeled as finite-gap solutions of the focusing Nonlinear Schrödinger Equation.
Approximating Worst-Case Time Complexity: with Gary T. Leavens
Automating time complexity analysis for an imperative programming language using a compositional dataflow analysis technique that computes upper bounds on variable assignments.
Network Anomaly Detection With Graph Neural Networks: with Branden Stone, Emily Hannon, Gustavo Nazario Perez, Landon Russell, Mukundh Vasudevan, Nicholas Lonnon
Detecting man-in-the-middle and DDoS attacks in communication networks using a homogeneous graph autoencoder model trained on the UNSW-NB15 dataset.