Multiple-Valued Logic / Synthesis Lectures on Digital Circuits & Systems (PDF)

D. Michael Miller was born in Winnipeg, Manitoba. He received a B.Sc. in Mathematics and Physics from the University of Winnipeg in 1971 and a M.Sc. and Ph.D. in Computer Science from the University of Manitoba in 1973 and 1976. From 1975 to 1980, he was a faculty member in the School of Computer Science, University of New Brunswick and moved to the University of Winnipeg in 1980 and then to the University of Manitoba in 1982. Dr. Miller joined the Department of Computer Science at the University of Victoria in 1987 as Chair, a position held for a decade except for the Fall of 1992 when he was Acting Dean of Engineering, and July 1995 - June 1996 when on administrative leave at TIMA Laboratory/INPG, Grenoble, France. He has been Dean of the Faculty of Engineering since July 1997, except for an administrative leave from August to December 2002 in the Faculty of Computer Science at the University of New Brunswick in Fredericton. In addition to his administrative duties at the University of Victoria, he is treasurer of the Victoria Section of APEGBC and Chair of the National Council of Deans of Engineering and Applied Sciences (NCDEAS). Dean Miller is a member of the Association for Computing Machinery (ACM) and the Institute of Electrical and Electronics Engineers (IEEE). He is the Secretary for the IEEE Computer Society Technical Committee on Multiple-Valued Logic. His current primary research interests include the synthesis of reversible and quantum logic circuits, and decision diagrams applied to the design of binary and multiple-valued logic systems using both conventional and spectral techniques.Mitchell A. Thornton received the BSEE degree from Oklahoma State University in 1985, the MSEE degree from the University of Texas in Arlington in 1990, and the MSCS in 1993 and Ph.D. in computer engineering in 1995 from Southern Methodist University in Dallas, Texas. His industrial experience includes full-time employment at E-Systems (now L-3 communications) in