cv

To download my CV as a PDF, click the button to the right.

Education

  • 2023.08 - Present

    College Park, MD

    PhD in Computer Science
    University of Maryland at College Park
  • 2020.01 - 2023.05

    Atlanta, GA

    MS in Computer Science
    Georgia Institute of Technology
    Specialization in Computational Perception & Robotics
  • 2014.08 - 2018.05

    Chapel Hill, NC

    BS in Physics
    University of North Carolina at Chapel Hill
    Specialization in Astrophysics

Work

  • 2025.06 - 2025.08
    Summer Graduate Research Intern
    National Consortium for the Study of Terrorism and Responses to Terrorism (START)
    Co-authored From Protest to Proxy War: A Socio-Technical Overview of the Evolution of Hacktivism, a white paper examining ideologically motivated cybercrimes and their intersection with modern conflict, psychology, and state involvement.
    • Analyzed cyber-attack patterns in the 21st century, including major hacktivist operations during the 2025 Iran-Israel conflict and earlier campaigns following the 2022 Mahsa Amini protests in Iran.
    • Modeled pathways state involvement in hacktivist cells, including state-encouraged 'proxy hacktivism' exemplified by Russia's KillNet and Ukraine's IT Army where governments covertly guide or seed target lists for semi-independent hacktivist collectives.
    • Assessed emerging cyber threats such as AI-assisted social engineering/phishing, ransomware-as-a-service (e.g., GhostSec's GhostLocker), deepfake-enabled social engineering, and drone hijacking of cyber-physical systems.
  • 2021.01 - 2021.07
    Machine Learning & Hardware Engineer Science Collaborator
    NASA Goddard Space Flight Center
    Collaborated with NASA researchers to develop a unique Linux build and testing platform to evaluate communications-limited deep learning algorithms on Xilinx’s Zybo.
    • Performed benchmark analysis to cross-compare the FPGA performance with other development boards and application specific integrated circuits with regards to accuracy, speed, memory usage, and performance.
    • Trained a new classified hyperspectral dataset to develop a TFLite model integrable with the Zybo platform.
  • 2019.09 - 2019.12
    Autonomy & Robotics Rotational Researcher
    U.S. Naval Research Laboratory, Department of the Navy
    Collaborated with NRL researchers on a cross-organizational project focused on herding of non-cooperative robots in complex environments.
    • Simulated and experimentally validated a previously proposed approach for a pursuer-evader strategy involving navigation around convex obstacles to a goal location.
  • 2018.08 - 2024.08
    Operations Research Analyst / Autonomous Systems Scientist
    NAWCAD Patuxent River, Department of the Navy
    Project lead for three internal multi-agent autonomous systems development projects.
    • Explored centralized vs distributed coordination architectures to evaluate how communication constraints affect multi‑agent task allocation and collaboration efficiency.
    • Built a modular autonomous systems framework and conducted large‑scale simulation experiments (hardware testing paused amidst COVID restrictions); findings were presented at three internal Navy conferences.
    • Extended the framework to handle dynamic environments through moving‑obstacle navigation, multi‑task optimization, and collaboration planning to minimize path conflicts.

Awards

Publications

Interests

Robotics
Formal Methods
Formal Specifications for Learning-Based Policies
Temporal Logic
Formal Methods in Robot Policy Synthesis
Formal Methods in Robot Policy Verification
Verification for Continuous and Hybrid Systems