Ryosuke Kondo

Forms are verifiable serialization of intuition.

I strongly believe that it is the primary responsibility of software engineers to maintain justifiability in code and the overall product. With such a philosophical standpoint, I love to exploit mechanically verifiable frameworks such as logic and types for expressing my idea and intuition as readable code.