Dr. John Moondanos received his
BSEE with honors from the National Technical University of Athens, Greece in
1988, and his MSE and Ph.D. degrees from the Electrical and Computer
Engineering Department of the University of Texas
at Austin in 1990 and 1993, respectively. Subsequently he
joined INTEL Corp. where he continues to pursue his research interests in the
areas of microprocessor design, verification and test. From 1995 to 1998 Dr.
Moondanos was responsible for the formal verification activities of the Pentium
Pro and Pentium III microprocessors. From 1998 to 2001 he worked on the
development of key components of INTEL's formal equivalence verification
system. Since 2001 he is a Visiting Industrial Fellow from Intel Corp. at the
Electrical Engineering and Computer Science Department of the University of California at Berkeley working on the Metropolis System.