Eva Darulova

Eva Darulova is an Associate Professor at the Department of Information Technology, Uppsala University, and Adjunct Faculty at Max Planck Institute for Software Systems (MPI-SWS). Previously held tenure-track faculty at MPI-SWS and completed her PhD at École Polytechnique Fédérale de Lausanne (EPFL) under Viktor Kuncak.

• Current research: Applications in numerical/embedded domains, program synthesis, software verification, approximate computing
• Key projects: Blossom (fuzzing), Lassie (HOL4 tactics), Pine (floating-point loops), LTLTalk (robot instruction), Incarnate (3D printing), Icing (compiler semantics), Flipper (NLP interface), FloVer (error checking), Daisy (accuracy analysis), Rosa (real compiler)
• Teaching: Program Design (2021/22), Program Synthesis (2021), Program Analysis (multiple years), Advanced Program Analysis (2019), Static Program Analysis (2017), Approximate Computing seminar (2016)
• Service: Artifact evaluation chair (ASPLOS'22), PC member (ECOOP'22, ESEC/FSE'22, EMSOFT'21, PLDI'21)

Research Trends: Focus on numerical computing verification, approximate computing frameworks, and program synthesis techniques. Publications span TACAS, EMSOFT, ISSTA, POPL, CAV, FMCAD, TOPLAS, with emphasis on floating-point error analysis, mixed-precision optimization, and compiler verification.

Scientific Recognition: Nominated for EAPLS best paper award (TACAS'21). Co-advisor for Anastasiia Izycheva and mentor for multiple MSc/BSc students including Mustafa Hafidi, Joachim Bard, Nikita Zyuzin, Youcef Merah, Safya Alzayat, Anastasiia Izycheva.

Collaborations: Works with researchers at EPFL, MPI-SWS, University of Saarland, University of Washington, and Saarbrücken/Kaiserslautern institutions.