University of Oxford / Mathematics and Computer 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.
400万人が利用する会社訪問アプリ
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.
この先やってみたいこと
未来
I would love to solve complex problems with help of solid and agreed principles.
University of Oxford4年間
Mathematics and Computer Science
-
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.
CADDi Inc.3ヶ月
Software Engineer（インターン）
-
Ubie, Inc.6ヶ月
Backend software engineer（インターン）
-
Brickfields Asia College (BAC)1年間
A-Level Science
-
I studied Physics, Mathematics and Further Mathematics.
スキルと特徴
実績
言語
- 英語 - ビジネス会話レベル
- 日本語 - ネイティブレベル