HOME > Organization / Research > Ohori Laboratory

Organization / Research

Software Construction [Ohori] Laboratory


photo Atsushi OHORI, Professor
Katsuhiro UENO, Associate Professor
Kentaro Kikuchi, Assistant Professor

Nowadays, a variety of software systems manages everything in the world. They are becoming more and more complicated due to the need of integrating various computation resources available in the Internet. Therefore, firm foundations for developing high performance and highly reliable software are essential for continuous advance of our societies.
We are studying foundation of software. We mainly focus on programming languages and database systems, which provide bases of software developments and data managements. Major research issues include fundamental theories for reliable software, design of productive and reliable programming languages, implementation techniques for high performance software, and software development frameworks that enable seamless integration of a variety of resources, such as programming languages, databases and distributed computational environments.

Research topics:

  1. Development of SML#, a new ML-style polymorphic programming language
  2. Logical foundation for compilation
  3. Integration of databases and programming languages
  4. Program transformations for developing/optimizing algorithms
  5. Reliable scripting languages for Web programming
Group of Electrical Engineering, Communication Engineering,
Electronic Engineering, and Information Engineering, Tohoku University
6-6-05, Aramaki Aza Aoba, Aoba-ku, Sendai, Miyagi 980-8579, Japan
TEL : 022-795-7186 (Japanese Only)
Email :