Education
Vanderbilt University — M.S. Computer Science. Thesis work in applying graph theory to real-time systems algorithms and systems security.
Vanderbilt University — B.S. Mathematics, Physics, Computer Science. Ingram Scholars Program, a full scholarship awarded to 8 of 1,300+ applicants.
Coursework
Mathematics
Modern Algebra I & II, Topology I, Theory of Functions of a Complex Variable, Seminar in Number Theory (Modular Forms), Abstract Algebra, Introduction to Topology, Theory of Numbers, Linear Algebra, Error-Correcting Codes and Cryptography, Numerical Mathematics, Probability and Statistics.
Physics
Stellar Astrophysics, Quantum Mechanics, Statistical Mechanics, Classical Mechanics, General Electricity & Magnetism, Modern Physics and the Quantum World, Seminar in Presenting Physics Research.
Computer Science
Statistical Methods for Deep Learning, Representation in Deep Learning, Extended Mathematical Programming, Intelligent Surgical Robotics, Design and Analysis of Algorithms, Principles of Computer Security Research, Foundations of Machine Learning, Project in Artificial Intelligence, Algorithms, Principles of Operating Systems, Programming Languages, Digital Systems, Intermediate Software Design, Data Structures, Discrete Structures.
Research
- ELI-ALPS Laser Research Institute — quantum optics and high harmonic generation. Quantum and QED models of HHG, and the simulation software to evaluate them.
- Vanderbilt University, Prof. Kalman Varga — quantum simulation software and time-dependent electronic structure.
- Vanderbilt University, Prof. Ward — real-time systems algorithms and real-time systems security.
- Vanderbilt I-Privacy Lab — self-learning and self-evolving detection of altered and deceptive images, audio, and video.
Experience
- SpaceX — Software Engineer Intern
- Veria Labs — Co-Founder
- Trail of Bits — Software Engineer Intern, Security Engineer Intern
- Vanderbilt University — Teaching Assistant, CS 4277: CyberSecurity
- Dupper Analytics — Co-Founder, Software Engineer
- Smart Savannahs — Project Lead, volunteer project
Talks
- AGH University of Science and Technology, Kraków — Low-level hacking and program optimization
- Empire Hacking, New York — ML in Security: More Than Just Prompt Injection
- Blackhat MEA, Riyadh — invited CTF finals, binary exploitation and cryptography
Technical
Languages — C++, C, Python, Rust, CUDA, OCaml, Haskell, x86 and ARM assembly, C#, JavaScript, PHP
Scientific and ML — PyTorch, Z3, Coq
Systems and tooling — GDB, perf, VTune, Ghidra, Binary Ninja, IDA Pro, ROS, OpenGL, Unity, Wireshark, Docker, Linux, Git, MySQL, MongoDB