Timothy Kam


Timothy Kam received the B.Sc.(Eng.) degree with first class honors in electronic engineering with computer science from the University College, University of London, U.K. in June 1986, and the M.S. and Ph.D. degrees in electrical engineering and computer sciences from the University of California, Berkeley, in December 1990 and May 1995, respectively.

Since 1995, Dr. Kam is a technical leader and researcher in the areas of logic synthesis and formal verification at the Strategic CAD Laboratories of Intel Corp., Hillsboro, OR. From 1986 to 1989, he was an IC design engineer at Motorola Semiconductors (H.K.) Ltd. where he received a U.S. patent award. He has spent summer 1991 working for AT&T Bell Laboratories and summer 1986 for Hewlett Packard. He coauthored of two books: ``Synthesis of FSMs: functional optimization'', 1996 and ``Synthesis of FSMs: logic optimization'', 1997 (Norwell, MA: Kluwer Academic Publishers). He serves on the technical program committees of Design Automation Conference, International Conference on Computer Design, International Workshop on Hardware/Software Co-Design, and International Conference on Application of Concurrency to System Design. His research interests are in the area of computer-aided design of VLSI circuits, with emphasis on logic and high-level synthesis, and formal verification.


Email address: tkam@ichips.intel.com


Contact 
©2002-2018 U.C. Regents