Shoji Yuen

 

Professor,

Department of Information Engineering,

Graduate School of Information Science,

Nagoya University

Research Interests:

Theory and Application of Concurrency

Process Algebra, Programming Language Design

Formal Verification of Software

Time-aware Software Systems

Contact:

Email: yuen -at- is.nagoya-u.ac.jp

Fax:   +81-52-789-4383

Public key of pgp (yuen -at- is.nagoya-u.ac.jp)http://ampei.agusa.i.is.nagoya-u.ac.jp/~yuen/pubring.txthttp://ampei.agusa.i.is.nagoya-u.ac.jp/~yuen/pubring.txtshapeimage_1_link_0