MS Computer Science Tokyo Institute of Technology (March 2014)

Fault tolerance of distributed systems can be effectively verified by model checking and fault injection, but its process is highly error-prone. I proposed a way to solve this problem by adding a language support to modeling languages, which is a common approach in programming languages.

BS Computer Science Tokyo Institute of Technology (March 2012)

Concentration: Context-oriented programming. Takuo Watanabe Lab.

An Implementation Method of Context-Oriented Programming in Objective-C

Context-oriented programming is a programming method that enables us to define behaviors that depend on the program's execution context. I proposed an implementation method of Context-oriented programming in Objective-C.