Andreea Costea
Assistant Professor at TU Delft | Electrical Engineering, Mathematics and Computer Science
Netherlands
Summary
👤
Senior🎓
Top SchoolAndreea Costea is an Assistant Professor and former Senior Research Fellow with 15 years of experience at the intersection of programming languages, software verification, and trustworthy AI-generated code. She builds practical solutions for safety and security—ranging from safe language implementations and verification frameworks for concurrent and heap-manipulating programs to program synthesis and automated repair—while mentoring diverse teams and translating industry requirements into research-led prototypes. A functional-programming enthusiast fluent in OCaml, Haskell, Scala and Rust, she bridges theory and engineering to deliver verifiable, self-healing software. Her work is defined by rigorous formal methods applied to real-world problems, a collaborative mentoring style, and a commitment to clear, kind communication that fosters inclusive research environments.
15 years of coding experience
5 years of employment as a software developer
Bachelor of Engineering (BEng) Automatics and Applied informatics, Bachelor of Engineering (BEng) Automatics and Applied informatics at Politehnica University TimisoaraDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at National University of Singapore
English, Romanian, Spanish, German
Github Skills (16)
java9
analyzer9
static-analyzer9
smt9
logic9
hoare-logic9
static-analysis9
cpp9
heap9
synthesis9
objective-c9
static-code-analysis9
scala8
crossword4
ssa3
Programming languages (2)
Github contributions (5)
verse-lab/hippodrome
Jul 2020 - Mar 2022
Contributions:181 commits, 19 pushes in 1 year 8 months
andrecostea/rust-survey
Jun 2021 - Jul 2022
Contributions:42 commits, 17 pushes in 1 year 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.