« zurück

Kolloquium | 05.11.08 17.00 Uhr| Rotunde
Prof. Dr. Michael Miller
University of Victoria, Canada

Reversible and Quantum Circuits - Synthesis and Verification Challenges

There has recently been considerable interest in reversible and quantum circuits due to their potential for low-power consumption and the promise of the efficiency of quantum computing. Logic design techniques for reversible and quantum circuits are significantly different from those used for traditional digital systems. This talk will cover a number of approaches to synthesis and verification with particular emphasis on reversible circuits. The presentation will begin with an overview of reversible and quantum circuits assuming basic knowledge of digital logic. A number of synthesis approaches will be described at a conceptual level. The talk will conclude with a description of recent work on verification using Boolean satisfiability and decision diagram techniques.

Biography:
Dr. Michael Miller is visiting the Computer Architecture Research Group at the University of Bremen while on sabbatical from the University of Victoria, Canada where he is a Professor of Computer Science. His main research interests include: logic design of reversible and quantum circuits, decision diagrams, multiple-valued logic and spectral logic. Dr. Miller served as Chair of the Department of Computer Science at the University of Victoria from July, 1987 to June, 1997 and as Dean of the Faculty of Engineering from July 1997 to June 2008. He is a member of the IEEE and the ACM and is Secretary of the IEEE Computer Society Technical Committee on Multiple-Valued Logic.