Doctor(Engineering) (Nagoya University)

Department of Computing and Software Science Graduate School of Informatics Nagoya University

Research Topics

• Reversible Concurrency
• Reversible Programming Languages
• Process Calculi
• Real-time programming

Research

• Publication(DBLP)

Lectures

• System verification and exercises
• Compiler

• Logic 2c

• Foundation of Software
• Concurrency

Hobby

• Oozumo