Andreea Costea

Andreea Costea is an Assistant Professor in the Programming Languages Group within the Faculty of Electrical Engineering, Mathematics & Computer Science (EEMCS) at Delft University of Technology. She joined TU Delft in October 2024 after completing her PhD at the School of Computing, National University of Singapore (NUS), where she worked in the Programming Languages and Software Engineering lab collaborating with the Automated Program Repair team, Trustworthy and Secure Software group, and VERSE lab.

Her primary research focuses on programming languages design and implementation, with particular emphasis on software verification for critical code, program synthesis, and automated program repair. She maintains strong connections with industry while pursuing formal methods research, especially in the context of Rust programming language safety and interoperability.

Dr. Costea's publication record demonstrates consistent contributions to software engineering and programming languages research, with recent work focusing on automated program repair techniques, Rust language safety mechanisms, and communication protocol verification. Her research shows a clear trajectory from theoretical foundations in session types and separation logic toward practical applications in memory safety and program repair.

She actively serves the research community as Program Committee member for major conferences including ASE, ICSE, ICFP, and APLAS. Her service includes chairing publicity committees for SPLASH and artifact evaluation for ESOP.

• Regular Journal Reviewer: CACM, TOSEM, TSE
• Panel discussions: PLMW @ POPL'22, PLDI'21, PLMW @ PLDI'21, POPL'21
• Extensive reviewing for top-tier conferences including POPL, OOPSLA, CAV, VMCAI

Dr. Costea supervises multiple Master's students working on Rust-related safety projects and is actively recruiting PhD students to work on software interoperability, particularly focusing on how to restore Rust's safety guarantees when integrating with legacy C code and ensuring correct interaction between components written in different languages.