Kanna Shimizu

Bio

Currently, I am a senior architect at Nokia in Boston, Massachusetts.

Before that, I was at IBM in Austin, Texas. I worked on, among other things, the security architecture for the Sony PlayStation 3 platform.

Before that, I was a PhD student in electrical engineering and computer science at Stanford University.

An overview of my Ph.D. Research

My Ph.D. Thesis in PDF (or in Postscript format)

Before that, I was a New Century Scholar at Oxford University, in the United Kingdom, where I obtained a M.Sc. degree in computer science. I lived in Trinity College and belonged to the Computation Laboratory within the Department of Mathematics.

And before that, I studied at the California Institute of Technology (B.S. electrical engineering, Blacker/Avery House).

• "Deriving a Simulation Input Generator and a Coverage Metric from a Formal Specification", Kanna Shimizu, David L. Dill, DAC 2002, New Orleans. (Abstract, PDF, Postscript)
• "A Specification Methodology by a Collection of Compact Properties as Applied to the Intel Itanium Processor Bus Protocol", Kanna Shimizu, David L. Dill, Ching-Tsun Chou, CHARME 2001, Livingston, Scotland. (Abstract, PDF, Postscript)
• "Monitor-Based Formal Specification of PCI", Kanna Shimizu, David L. Dill, and Alan J. Hu, FMCAD 2000, Austin, Texas. (Abstract, PDF, Postscript)

• Deriving a Simulation Input Generator and a Coverage Metric From a Formal Specification, DAC 2002, New Orleans, LA (PDF Slides)
• A Specification Methodology by a Collection of Compact Properties as Applied to the Intel Itanium Bus Protocol , CHARME 2001, Livingston, Scotland (PDF Slides)
• Monitor-Based Formal Specification of PCI, FMCAD 2000, Austin, Texas (PDF Slides)

• Material Related to the FMCAD paper: The PCI Specification Project Page.
• Project Page for CS444a. (Fall 1999)