Education
Harvard University; University of Texas at Austin.
engineer university professor computer scientist
Harvard University; University of Texas at Austin.
He is also the recipient of the 1998 Association for Computing Machinery (ACM) Paris Kanellakis Award Theory and Practice Award for Symbolic Model Checking. He received his Bachelor of Science degree in mathematics from the University of Texas, Austin in 1976 and his Doctor of Philosophy degree in applied mathematics at Harvard University in 1981.