Shoji Yuen [Japanese]

Doctor(Engineering) (Nagoya University)

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

Research Topics

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

Research

• Publication(DBLP)

Lectures

• System verification and exercises
• Compiler

• Logic 2c

• Foundation of Software
• Concurrency