---------------------------------------------------------------------------

Toshiyuki Yamada

Division of Information Engineering
Graduate School of Engineering
Mie University

---------------------------------------------------------------------------
[English / Japanese]

Research Interests
computational logic
combinatorial optimization
automated reasoning
analysis and verification of software systems
 
Publications
 
Lectures
Mathematical Logic
Algorithms and Data Structures
Compiler Design
Infomation Engineering Laboratory (compiler construction)
Computation Models
 

toshi@cs
lab. local