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.