Kazuhiro Ogata
Professor
School of Information Science
Japan Advanced Institute of Science and Technology (JAIST)

- My laboratory
- My cv
- A JAIST page of mine
- Publsihed papers (DBLP page)
  Published papers (including Japanese characters)
- Google Scholar
- Courses
  i116 Basic of Programming
  i217 Functional Programming
  i219 Software Design Methodology
- Schools
  JAIST-FSSV 2010
  SINAIA School on FVSS 2008
- Specifications, etc. used in some papers
  code