| | 1 | {{{ |
| | 2 | #!html |
| | 3 | <div style="text-align: right"><a href="LabIntro.ja">Japanese</a></div> |
| | 4 | }}} |
| | 5 | |
| | 6 | = Introduction of Yonezawa Group = #titleheading |
| | 7 | |
| | 8 | We are interested in research about software in general. |
| | 9 | Currently, we focus on the following themes: |
| | 10 | |
| | 11 | * Security |
| | 12 | * Programming language |
| | 13 | * System software |
| | 14 | * Parallel distributed system. |
| | 15 | |
| | 16 | For example, we are working on the following topics: |
| | 17 | |
| | 18 | * Advanced software using virtual execution environments |
| | 19 | * System software blocking attack from computer-virus and spyware by analyzing and monitoring behavior of programs. |
| | 20 | * C compiler generating safe programs |
| | 21 | * Information flow analysis for preventing leakage of sensitive information |
| | 22 | * Building an operating system with a typed assembly language |
| | 23 | * Verification of software safety with proof assistants |
| | 24 | * Dynamically reconfigurable infrastructure software for widely distributed computing (e.g., Grid and P2P). |
| | 25 | |
| | 26 | In order to grease the wheels, our group has a lot of high-performance computers |
| | 27 | with high-speed network connections |
| | 28 | that are freely available for the members of our group. |
| | 29 | Our group also has devices necessary for the research. |
