简介

Michael Melliar-Smith is a professor in the Department of Electrical and Computer Engineering at the University of California, Santa Barbara. His research interests span the areas of distributed systems, communication networks and protocols, and fault tolerance. He has served as PI for numerous funded research projects, including projects from DARPA, AFOSR, NSF, UC Micro and UC Discovery. These funded research projects include the DARPA funded Thunder and Lightning project to develop a 30 Gbit/s ATM switch and optical transmission system, and the AFOSR MURI Protocol Engineering Research Center project, which involved six universities. He has authored or coauthored more than 290 publications, has more than 12 patents, and he has supervised more than 100 graduate student researchers. He served as Technical Chair of the IEEE International Conference on Mobile Services, and as a member of the Technical Program Committee for many conferences. Prior to UCSB, at GEC Computers in England, Dr. Melliar-Smith was principal designer of the GEC 4080, which won the Queen's Award for Innovation. At the University of Newcastle upon Tyne, he invented the definitions of fault, error and failure, as well as the recovery block method for software fault tolerance. As Senior Computer Scientist and Program Director at Stanford Research Institute, he was involved in the design of the Software-Implemented Fault-Tolerant(SIFT) aircraft flight control computer and was leader of the NASA funded Enhanced Hierarchical Design Methodology (EHDM) project for formal specification and verification. He received a Ph.D. in Computer Science from Cambridge University, England.