| |
|
|
Dr. Norris IpNorris is currently a research scientist at Cadence Berkeley Labs, working on functional validation methodology and algorithms using formal techniques. He finished his Ph.D. thesis in 1996 at Stanford University. His thesis advisor was Professor David Dill, and his thesis title is "State Reduction Methods for Automatic Formal Verification". Email address: ip@cadence.com |
| Contact |
| ©2002-2018 U.C. Regents |