Kamalika Datta is a researcher at the University of Bremen, Germany, and also works for the German Research Center for Artificial Intelligence (DFKI) in Bremen. She earned her Master of Science (MS) from the Indian Institute of Technology Kharagpur, India, in 2010, and her Ph.D. from the Indian Institute of Engineering Science and Technology (IIEST), Shibpur, India, in 2014. Her work broadly encompasses Electronic Design Automation (EDA) for both conventional and emerging technologies. Specifically, her research has focused on the synthesis, verification, and optimization of various technologies, including reversible computing, quantum computing, and in-memory computing. Currently, she specializes in the verification of complex arithmetic circuits using formal methods. Dr. Datta has authored over 120 papers in peer-reviewed journals and conferences and has served on the technical program committees for various conferences such as ICCAD, VLSID, and RC. She is currently an associate editor for Springer’s Design Automation for Embedded Systems: An International Journal.
