Logic in Computer Software

[English/[Japanese]

Graduate Course: Logic in Computer Software

A course held in the Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba, Japan. (List of courses in Dept. of CS)

Instuctors: Yukiyoshi Kameyama , Tetsuya Mizutani
Date: Fall A-B modules, Fridays 5-6 periods
Classroom: 3B303

Index

syllabus
The first half of this course is delivered by Dr. Tetsuya Mizutani, who teaches logics for program verification, and his course materials are put in this page.
The second half is given by Yukiyoshi Kameyama, who teaches foundation of programming languages including functional programming and type theory. Although his lectures will be given in Japanese, some (of all) course materials will be written in English. Check the Japanese page.
Reference
- Benjamine C. Pierce, "Types and Programming Languages", MIT Press, 2002.

Yukiyoshi Kameyama (kam[at]cs[dot]tsukuba[dot]ac[dot]jp)
Tetsuya Mizutani (mizutani[at]cs[dot]tsukuba[dot]ac[dot]jp)