Research fields of UEDA Lab.

Main Themes:

In fields such as parallel/concurrent processing, knowledge information processing, graphics and interactive systems, it seems very difficult to construct software with sufficient functionality, performance and reliability using conventional procedural languages and techniques. We are working on new computational paradigms, programming languages, programming methodologies and implementation techniques to tackle those problems.

We are especially interested in, and have been working actively on, concurrent logic/constraint programming developed at Japanese Fifth Generation Computer Systems (FGCS) project and elsewhere. Current research activities include various aspects of concurrent logic/constraint programming, including language design, implementation, programming environments and program analysis, in order to make it really practical.

Our research is always concerned with the role of programming languages that connect architectures and applications, and pursues interesting connections between techniques developed in the field of programming (languages) and those developed in neighboring fields. We are always trying to promote interaction between theory and practice, which tend to separate in computer science.