Summary
Doina Bucur is an Assistant Professor of Computer Science at the University of Twente with 11 years of experience researching networked embedded systems, correctness-by-design and performance evaluation. Her academic career spans roles at Groningen, Oxford and Aarhus, combining formal verification of interrupt-driven embedded C with practical evaluation of low-power, lossy routing protocols. She teaches formal system correctness and embedded systems while leading research in network data science and dependable distributed designs. Doina’s profile reflects a rare blend of formal methods and hands-on network performance work, enabling both provable correctness and real-world energy-efficient deployments in constrained environments.
11 years of coding experience
8 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at Aarhus University
English, Italian, Romanian