Members

Since I was a little boy, I was fascinated by math, language and music. I learned the fun of programming when I was in elementary school. Such curiosity led me to software science in high school, and I am now a researcher in this field.
As our lives are supported by a wide variety of software, software science explores sound methodologies for developing ideal software from the perspectives of mathematics, logic, language, and more.

In 1987, French logician Girard proposed a mysterious logic called linear logic. Software science studies inspired by this led to the birth of the Rust programming language in 2015, and Rust is rapidly gaining popularity in the industry for its highly secure nature.
I was enchanted by the fun of Rust, which drove me to become a software scientist. In the Hakubi project, I explore new-age software development technologies that can achieve high levels of security, performance and functionality, by further advancing the idea of ownership, which originated in linear logic and was first put to full practical use by Rust.