Advising
PhD Students
Undergraduate Research Assistants
![](/images/knight.jpg)
Derian Comas
Inferring and Securing Software Configurations
Summer 2024–Now
![](/images/knight.jpg)
Zachary Burkett
Macro Semantics and Translation
Spring 2024–Now
![](/images/knight.jpg)
Joseph Zalusky
Macro Semantics and Translation
Spring 2024–Now
![](/images/knight.jpg)
Alexei Solonari
Inferring and Securing Software Configurations
Spring 2024–Now
Previous Advisees
Previous Graduate Research Assistants
![](/images/knight.jpg)
Stephen Maldonado
Tracking Corporate Relationships
2022–2023 (Summer 2022 as an undergraduate)
![](/images/jeho.jpg)
Jeho Oh (UT Austin)
Inferring and Securing Software Configurations
Co-Advised with Don Batory
2020–2022
(Graduated PhD, Joined Apple as a software engineer)
![](/images/knight.jpg)
Austin Lee Davis
Tracking Corporate Relationships
Fall 2022
![](/images/necip.png)
Necip Yildiran
Inferring and Securing Software Configurations
2020–2022
(Graduated PhD, Joined Google as a software engineer)
![](/images/kaarthik.jpg)
Kaarthik Alagappan
Variability-Aware Analysis
2019–2022 (2019-2021 as undergraduate)
(Graduated MS, Joined Walmart as a software engineer)
![](/images/julian.jpg)
Julian Braha
Inferring and Securing Software Configurations, Corporate Entity Tracking Automation
Fall 2021 (2019-2021 as undergraduate)
![](/images/knight.jpg)
Ronaldo Cunha
Analysis of Configurable Software, Persistent Memory
Fall 2021
![](/images/ryan.jpg)
Ryan Dozier
Concurrent Data Structures, Mitigating Side-Channel Attacks
Co-Advised with Damian Dechev
2020–2021
![](/images/sayma.jpg)
Sayma Sultana
Variability-Aware Analysis
Fall 2019
Previous Software Engineers
![](/images/johns.jpg)
John Stoner
Corporate Entity Tracking Automation
2021–2024
Previous Undergraduate Research Assistants
![](/images/knight.jpg)
Fabian Ruiz Delgado
Analysis of Configurable Software
Spring 2024
![](/images/knight.jpg)
Noah Isaacson
Analysis of Configurable Software
Spring 2024
![](/images/knight.jpg)
Martin de Salterain
Software Supply Chain Security
Spring 2024
![](/images/josh.jpg)
Josh Santana
Configuration Vulnerabilities in Systems Software
2019–2021
(Joined Microsoft as an engineer)
![](/images/reeder.png)
Reeder Ward
Configuration Vulnerabilities in Systems Software
Spring 2020