Kazunori Ueda
Professor in Computer Science
Japanese version of this page
Profile
(University site)
(Google Scholar)
Software:
LMNtal: a programming and modelling language with model checking and an integrated visual environment
HydLa: a constraint-based hybrid systems modeling language
[revived!]
KLIC: a portable implementation of KL1
(version 3.01)
Conferences:
Fourteenth International Symposium on Functional and Logic Programming
(FLOPS 2018, Nagoya, Japan, May 9-11, 2018)
Publications (English)
Publications (English + Japanese)
The following information is currently available only in Japanese:
Courses
Readings
Introduction to the Ueda Lab. (for undergraduates)
Last update: April 12, 2018
ueda at ueda.info.waseda.ac.jp