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 held visiting appointments at the University of California at Berkeley in 2003, University of New South Wales, Sydney, in 2002, and University of Queensland, Brisbane, 2005. 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. Some of these algorithms asymptotically reduced complexity of problem solving and lead to order-of-magnitude improvements in practice. Many of them are implemented in software including open-source projects and industrial tools. Her work has been awarded prestigious prices such as IBM faculty partnership award for outstanding contributions to IBM research and development. She has co-authored a book Logic Synthesis and Verification which was a best-seller of Kluwer Academic Publishers in 2002.

Her professional service includes TPC membership in DATE'2012-2014, ICCAD'2004-2005, IWLS'2002-2014, ISMVL'2004,2013-2014, VSLI SOC'2012,2014, SASIMI'2004-2012, RM'2011, chairing IEEE Computer Society Technical Committee on Multiple-Valued Logic 2012-2013, and invited talks at NORCHIP'1999, MathFIT'2001, and BEC'2008. She has advised the work of 3 Ph.D. students, 6 Licentiate students and over 40 M.Sc. students. Her current research interests include logic synthesis, formal verification, testing, fault-tolerant computing, cryptography, and systems biology.