SQLAB

Department of Computing and Software Systems, Graduate School of Informatics, Nagoya University

Yuen/Nakazawa Laboratory

Address IB Building S559, Furo-cho, Chikusa-ku, Nagoya, Japan 464801

Theoretical programming and proof-oriented research visual

Research Topics

Research

Program Analysis and Verification

Development of High-quality software by Mathematical Methods

Learn more

Reversible Concurrent Programming

New Software Analysis by Causal-consistent Reversibility

Learn more

Algebraic Formal Language Theory

Algebraic Formal Language Theory

Learn more

Events

Upcoming Events

Welcome Party

Welcome party for members of Yuen/Nakazawa Lab. and Kaji Lab. (The previous announcement has been WRONG. The party will be on Frday, the 29th of May)

Contact

Prospective Students and Collaborators

Please contact us if you are interested in joining the lab, discussing graduate study, or exploring research collaboration.

Note: Prof. Shoji Yuen accepts no students because of his retirement. Please contact Prof. Nakazawa if you seek any chance of working in the lab.

Contact Us