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)

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

• Conferences:
  • 17th International Conferen ce on Graph Transformation (ICGT 2024)
  • 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024)

• 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: May 30, 2024

ueda at ueda.info.waseda.ac.jp