Last modified 11 years ago Last modified on 02/15/09 22:43:59

Introduction of Yonezawa Group

We are interested in research about software in general. Currently, we focus on the following themes:

  • Security
  • Programming language
  • System software
  • Parallel distributed system.

For example, we are working on the following topics:

  • Advanced software using virtual execution environments
  • System software blocking attack from computer-virus and spyware by analyzing and monitoring behavior of programs.
  • C compiler generating safe programs
  • Information flow analysis for preventing leakage of sensitive information
  • Building an operating system with a typed assembly language
  • Verification of software safety with proof assistants
  • Dynamically reconfigurable infrastructure software for widely distributed computing (e.g., Grid and P2P).

In order to grease the wheels, our group has a lot of high-performance computers with high-speed network connections that are freely available for the members of our group. Our group also has devices necessary for the research.