Denisa Diaconescu

Denisa Diaconescu is an Associate Professor in the Department of Computer Science at the University of Bucharest. Her main research interests are formal methods, applications of logic in computer science, and formal verification. Denisa completed her Ph.D. at the University of Bucharest and a postdoc at the University of Bern, where she focused on modal and many-valued notions dealing with vagueness, belief, necessity, and spatio-temporal relations.