Bibliography Page: C. Norris Ip

Norris received his B.A with a first class honor in Engineering and Computing Science from Wadham College, Oxford University in 1991. Norris was involved with projects in formal methods (CSP) and parallel programming (OCCAM) in Oxford. He entered Oxford University with the Lee Shau Kee Scholarship from Henderson Development Ltd, and later on received the THORN EMI Bursary from THORN EMI Group, and the Metal Box Prize and the Maurice Lubbock Prize from Oxford University.

In 1991, he joined the Computer Science Department in Stanford University, working in Prof. David Dill 's research group. He was involved with researches in automatic formal verification , including symmetry-based reduction technique, reversible-rule reduction technique, and abstraction using repetition constructors. He also has interests in parallel computer architecture. See his research page for more information.

Norris has spent Summer Quarters 1993 and 1994 at Intel Corporation doing work in validation for the multiprocessor aspect of the Pentium (R) Pro processor.

Norris has graduated from Stanford University with his Ph.D. degree in January 1997, and since then, has joined Cadence Berkeley Laboratories as a research scientist, continuing his research in formal verification and other CAD issues.

Since 1999, he was involved in the development of the C++ TestBuilder library, designed for creating transaction-based test benches for HDL simulation.

E-mail:-
ip@cs.stanford.edu
Phone Numbers:-
Office: (510) 647-2828 (at Cadence Berkeley Labs)
WWW:-
http://www-cs-students.stanford.edu/~ip
http://sprout.stanford.edu/ip

Norris's Research Page

Norris's Publications

C. Norris Ip, ip@cs.stanford.edu
Cadence Berkeley Laboratories, Cadence Design Systems, Inc.
Last modified: May. 1998