Advising
PhD Students
Kei Long
Inferring and Securing Software Configurations
2024–present
Eshgin Hasanov
Inferring and Securing Software Configurations
2024–present
MS Students
Martin de Salterain
Software Supply Chain Security
2024-present (Spring 2024 as an undergraduate)
Undergraduate Research Assistants
Rachel Leiner
Software Supply Chain Security
Summer 2024–Now
Derian Comas
Inferring and Securing Software Configurations
Summer 2024–Now
Zachary Burkett
Macro Semantics and Translation
Spring 2024–Now
Joseph Zalusky
Macro Semantics and Translation
Spring 2024–Now
Previous Advisees
PhD Graduates
Jeho Oh (UT Austin)
Inferring and Securing Software Configurations
Co-Advised with Don Batory
2020–2022
(Graduated PhD, Joined Apple as a software engineer)
Necip Yildiran
Inferring and Securing Software Configurations
2020–2022
(Graduated PhD, Joined Google as a software engineer)
MS Graduates
Zoran Kolega
Corporate Entity Tracking Automation
2021–2024 (2023-2024 as software engineer)
(Graduated MS)
Kaarthik Alagappan
Variability-Aware Analysis
2019–2022 (2019-2021 as undergraduate)
(Graduated MS, Joined Walmart as a software engineer)
Previous Graduate Students
Stephen Maldonado
Tracking Corporate Relationships
2022–2023 (Summer 2022 as an undergraduate)
Austin Lee Davis
Tracking Corporate Relationships
Fall 2022
Julian Braha
Inferring and Securing Software Configurations, Corporate Entity Tracking Automation
Fall 2021 (2019-2021 as undergraduate)
Ronaldo Cunha
Analysis of Configurable Software, Persistent Memory
Fall 2021
Ryan Dozier
Concurrent Data Structures, Mitigating Side-Channel Attacks
Co-Advised with Damian Dechev
2020–2021
Sayma Sultana
Variability-Aware Analysis
Fall 2019
Previous Software Engineers
John Stoner
Corporate Entity Tracking Automation
2021–2024
Previous Undergraduate Students
Fabian Ruiz Delgado
Analysis of Configurable Software
Spring 2024
Noah Isaacson
Analysis of Configurable Software
Spring 2024
Josh Santana
Configuration Vulnerabilities in Systems Software
2019–2021
(Joined Microsoft as an engineer)
Reeder Ward
Configuration Vulnerabilities in Systems Software
Spring 2020
