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)

• 3D printing:
  • Modular 3D Printing: marriage of 3D printing and traditional Japanese construction

• Conferences:
  • [new] 18th International Symposium on Functional and Logic Programming (FLOPS 2026)
  • [new] 14th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2026)

• 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: February 9, 2026

ueda at ueda.info.waseda.ac.jp