Dr. Thomas Shiple

Tom Shiple received the Bachelor of Science and Master of Science Degrees in Electrical Engineering from MIT in 1987. From 1987 to 1990, he worked for Digital Equipment Corporation developing CAD tools. Tom received his Ph.D. in Electrical Engineering in 1996 from UC Berkeley, where he conducted research on formal design verification under the supervision of Professors Robert Brayton and Alberto Sangiovanni-Vincentelli. During the summer of 1994, he worked at Digital's Paris Research Laboratory. Since September 1996, Tom has worked at Synopsys Inc., continuing his research on formal verification. He is currently serving on the ICCAD Technical Program Committee.