Karem A. Sakallah is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor, USA. His research has spanned a wide range of topics in the field of electronic design automation of very large scale integrated circuits. His current research is focused on the development of software tools that can formally verify the correct operation of highly complex hardware and software systems. This work builds on an earlier key technology for automated reasoning (aka Boolean Satisfiability) that was developed in his group and is now widely deployed in such diverse fields as product configuration, project planning, fleet scheduling, etc. Dr Sakallah received his B.E. degree in electrical engineering from the American University of Beirut, and his M.S.E.E. and Ph.D. degrees in electrical and computer engineering from Carnegie Mellon University. Before joining the faculty at the University of Michigan in 1988, he headed a research team at the Digital Equipment Corporation in Hudson, Massachusetts. He is currently on sabbatical leave at the Qatar campus of Carnegie Mellon University. Dr Sakallah has served in many professional capacities and is a Fellow of the Institute of Electrical and Electronic Engineers. |
