|
| Teaching: |
SRA 221: Information Security, Spring 2025: CANVAS |
Research Interests:
Cybersecurity, Artificial Intelligence, Formal Methods, Programming Languages, and Software Engineering.
Professional Activities:
Program Committees:
ACM CCS (2026),
AAAI (2024, 2025),
ACM SAC 2024,
EAI AICSEC 2023,
CIKM 2022,
ICSOFT (2023, 2022),
ICSE 2021,
MLBA 2020,
Cybersecurity journal guest editor for a special series on Binary Analysis,
ACM CCS
(2019,
2018,
2017),
SPRO 2019,
HotSoS 2018,
SecureComm (2020, 2019, 2018, 2017),
FEAST
(2020,
2019,
2018,
2017 (PC Co-chair)),
QRS
(2022,
2021,
2020,
2019,
2018,
2017,
2016,
2015),
ICSE 2016 (SEIP Track),
ENASE (2023, 2022, 2021, 2015).
Current Projects
Previous Projects
|