Software Engineer. SF Bay Area. Cat lover.
Anthos: Provide managed Kubernetes clusters in multi-cloud.
Tech lead. The role is to coordinate with internal teams to provide managed Kubernetes clusters on AWS and Azure.
googlesource.com: Git server for Google products
Tech lead. The role was to lead the team to provide Git repositories used by Chromium, Android, etc.. See also the activities related to this.
Google Maps: API frontend for Google Maps
The role was to create the server infrastructure for Google Maps.
Google Maps: API frontend for Google Maps
The role was to create the server infrastructure for Google Maps. Transferred to the headquarter after an year.
Concentration | Model checking and Fault tolerance |
Thesis | Full-Automatic Exhaustive Fault-Injection on Software Models of Message-Passing Systems 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. |
Concentration | Context-oriented programming |
Thesis | 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. |