Masahiko Sakai
Professor
email: sakai at is.nagoya-u.ac.jp
D.Eng. Nagoya University, 1992
Department of Computer Science and Mathematical Informatics,
Graduate School of Information Science,
Nagoya University
Japanese page.
- Term rewriting
- Program transformation and/or generation
- Specification verification and automtic theorem proving
Misc.
Old info.
Our Lab
Graduate chool of information science
Dept. of Information Eng., School of Engineering
Nagoya University
Last modified: May.01.2012 by Masahiko Sakai(mail: sakai at is.nagoya-u.ac.jp).