Kazuhiro Ogata

Associate Professor
School of Information Science
Japan Advanced of Science and Technology (JAIST)
1-1 Asahidai, Nomi, Ishikawa 923-1292, JAPAN
Email: "ogata" followed by the JAIST email address

Lectures

  * i217 Functional Programming
  * i636 Specification and Verification of Distributed Systems

Research

  * The OTS/CafeOBJ Method: A method of modeling, specifying and verifying systems.
  * List of Publications

Students

  * Current
    - Min ZHANG
    - Atsushi Sakamoto
  * Previous
    - Jian CHENG (NEC)

Links

  * JAIST
  * LDL (Language Design Laboratory)
  * Sinaia School on Formal Verification of Software Systems (3-10 March, 2008)