Elena Dubrova received the Diploma Engineer degree in Computer Science from Technical University of Sofia, Bulgaria, in 1993, Ph.D. degree in Computer Science from University of Victoria, B.C., Canada, in 1998. Currently she is a professor in Electronic Systems Design at the School of Information and Communication Technology at Royal Institute of Technology, Stockholm, Sweden.
She has authored over 100 publications in electronic system design. Major contributions include new algorithmic techniques for Boolean decomposition, FPGA technology mapping, probabilistic verification, and binary sequence generation. She has co-authored a book Logic Synthesis and Verification which was a best-seller of Kluwer Academic Publishers in 2002.
Her current research interests include logic synthesis, formal verification, testing, fault-tolerant computing, cryptography, and systems biology.