Program Analysis and Verification
Development of High-quality software by Mathematical Methods
Learn moreSQLAB
Department of Computing and Software Systems, Graduate School of Informatics, Nagoya University
Address IB Building S559, Furo-cho, Chikusa-ku, Nagoya, Japan 464801
Research Topics
Development of High-quality software by Mathematical Methods
Learn moreNew Software Analysis by Causal-consistent Reversibility
Learn moreAlgebraic Formal Language Theory
Learn moreEvents
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
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.