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