Discover companies you will love

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.

Ambition

In the future

I would love to solve complex problems with help of solid and agreed principles.

University of Oxford4 years

Mathematics and Computer Science

Oct 2019 - Jun 2023

I concurrently studied courses from Mathematics and Compute Science.

Optimized Reasoning with Guarded Logic
I am currently researching on automata-based rewriting of conjunctive queries and guarded tuple-generating dependencies into Datalog programs.
Jul 2022