Kazunori Ueda
Professor in Computer Science

Japanese version of this page

• Profile
• Profile (University site)

• Download and enjoy LMNtal: A programming and modelling language with model checking and an integrated visual environment

• Conferences:
  • Eleventh International Symposium on Functional and Logic Programming
    (FLOPS 2012, Kobe, Japan, May 23-25, 2012).
  • 25th International Workshop on Languages and Compilers for Parallel Computing
    (LCPC2012, Tokyo, Japan, September 11-13, 2012).
• 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: September 12, 2011

ueda at ueda.info.waseda.ac.jp