Kanna Shimizu
Bio
I am an IBMer at the Sony-Toshiba-IBM Design Center in Austin, Texas.
From November of 2002, I have been part of the Cell Broadband Engine
Processor development team where I've had several roles. Currently, I am the
security architect where I am responsible for leading the software and system
development for Cell-Based Security Architectures.
Until I graduated in August 2002, I was a PhD student in electrical
engineering and computer science at Stanford University studying formal
methods. I am interested in formally modeling, specifying and verifying complex
architectures and protocols.
An overview of
my Ph.D. Research
My
Ph.D. Thesis
in PDF
(or in Postscript
format)
From September 1997 to September 1998, 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.
I graduated from the California Institute of Technology
(electrical engineering '97, Blacker/Avery House) in June 1997.
Publications
- "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)
Talks
Project Pages
Personal