Multiple-Valued Logic

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 inFredericton. 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 Greenville, Texas and the Cyrix Corporation in Richardson, Texas where he served in a variety of engineering positions between 1985 through 1992. From 1995 through 1999, he was a faculty member in the Department of Computer Systems Engineering at the University of Arkansas and from 1999 through 2002 in the Department of Electrical and Computer Engineering at Mississippi State University. Currently, he is a Professor of Computer Science and Engineering and, by courtesy, Electrical Engineering at Southern Methodist University. His research and teaching interests are in the general area of digital circuits and systems design with specific emphasis in EDA/CAD methods including asynchronous circuit and computer arithmetic circuit synthesis, formal verification/validation and simulation of digital systems, multiple-valued logic,and spectral techniques.