Alexandra Bugariu

Alexandra Bugariu is a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, advised by Prof. Rupak Majumdar. Her research focuses on ensuring correctness, consistency, and performance in software systems, including program analysis tools, SMT solvers, distributed systems, and large language models. She holds a PhD in Computer Science from ETH Zürich (2022), an MSc from the European Master in Software Engineering (Free University of Bozen-Bolzano and TU Kaiserslautern), and a BSc from Politehnica University of Timisoara.

Her work has led to significant contributions in automated testing of formal verification tools and identifying errors in program analysis. She has advised multiple students on topics like SMT solver testing, LLM-generated answer validation, and numerical abstract domains. Bugariu actively serves on the program committees of top venues including ICSE, ASE, and PLDI, and has reviewed for journals like ACM TOSEM and STTT.

Teaching roles include co-lecturing and teaching assistant positions at ETH Zürich for courses in rigorous software engineering, parallel programming, and software architecture. She has participated in prestigious events such as the Heidelberg Laureate Forum and Marktoberdorf Summer School.