www.srodvasquez.com Open in urlscan Pro
2606:4700:3035::ac43:9e7f  Public Scan

Form analysis
0 forms found in the DOM

Text Content

home cv research music
Santiago Ro.
home cv research music

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
 * srodvasquez@gmail.com
 * +1 954-882-1869
 * unsonnet
 * santiago-ro

view full cv
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 continuous optimization
algorithms.

SENIOR DESIGN TEAM MEMBER

Sep 2023–Apr 2024

Georgia Tech Research Institute

Investigated machine learning methods for detecting cyberattacks in
communication networks 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 rogue wave occurrences in the deep sea modeled as
finite-gap solutions for the focusing Nonlinear Schrödinger Equation. Previously
investigated static analysis methods for approximating worst-case time
complexity.

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 Office
 * Git
 * Docker
 * Anaconda

honors + awards
 * Ronald E. McNair Scholar
 * NSF REU Fellow
 * Pi Mu Epsilon Honor Society
 * Tau Beta Pi Honor Society
 * 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.

Music Portfolio
<!-- under construction -->
Santiago Rodriguez © 2024. All rights reserved.