Author details

Philipp Niemann
Affiliation
Cyber-Physical Systems
DFKI GmbH
Bremen, Germany
Department of Computer Science
University of Bremen
Bremen, Germany
Biography
Philipp Niemann (Member, IEEE) received the Diploma degree in mathematics and the Ph.D. degree in computer science from the University of Bremen, Bremen, Germany, in 2012 and 2016, respectively.,He worked with the Group for Computer Architecture, University of Bremen under the supervision of Prof. Dr. R. Drechsler and Prof. Dr. R. Wille. In 2017, he joined the Cyber-Physical Systems Department, German Research Center for Artificial Intelligence, Bremen. He published several papers on international conferences, such as ASP-DAC, DATE, RC, MEMOCODE, and MoDELS. His research interests are in the design of reversible and quantum circuits with a focus on decision diagrams, as well as in the verification of formal models.(Based on document published on 3 March 2020). Author's Published Works