Bachelor of Science in Applied Mathematics, University Michigan, 1973. Master of Science, Massachusetts Institute of Technology, 1977. Electrical engineer, Massachusetts Institute of Technology, 1978.
Doctor of Philosophy in Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1981.
Assistant professor computer science California Institute of Technology, Pasadena, 1981-1984, Carnegie Mellon University, Pittsburgh, 1984-1987, associate professor computer science, 1987-1992, professor computer science, 1992—1997, Robert Mehrabian professor computer science, 1997—2004, head department computer science, 1999—2004, University professor, since 2004, dean School Computer Science, since 2004. Visiting research fellow Fujitsu Laboratories, Ltd., Kawasaki, Japan, 1990—1991, member technical advisory board, San Jose, California, 1993—2005, Simplex Solutions, 1998—2000, Innologic Systems, 1999—2003. Board directors Computing Research Association, 2000—2006.
Member information technical advisory board Federal Bureau of Investigation, since 2005. Member academy research council Singapore Minister Education, since 2006. Member computer, information science and engineering advisory board National Science Foundation, 2006—2009.
Council member Computing Community Consortium, since 2010. Consultant Hewlett Packard, Litton Data Systems, Digital Equipment Corporation, International Business Machines Corporation.
Fellow: Institute of Electrical and Electronics Engineers (W.R.G. Baker award 1989, Emanuel R. Piore award 2007, Phil Kaufman award 2009), Association Computing Machinery (Kanellakis Theory & Practice award 1998). Member: National Academy of Engineering, American Academy Arts & Sciences.
Married Janice Lukens, May 14, 1983. Children: Jacob, Claire, Elizabeth.