Ken McMillan

Kenneth McMillan received his BS in electrical engineering from the University of Illinois at Urbana in 1984, his MS in electrical engineering from Stanford in 1986 and his Ph.D. in computer science from Carnegie Mellon in 1992. He was a recipient of the 1992 ACM doctoral dissertation award for his thesis on symbolic model checking. He has worked as a chip designer, a biomedical engineer, a member of the technical staff at AT&T Bell Laboratories, and currently is a research scientist at Cadence Berkeley Labs.

Email address: mcmillan@cadence.com