Satoshi Takimoto
Hello! I am a doctoral student in the Programming Systems Group at Institute of Science Tokyo (formerly Tokyo Institute of Technology). I am interested in programming languages and theorem provers, with a focus on building tools that make software more reliable.
I like traveling, visiting museums, and collecting postcards. Otherwise, I'm usually programming and researching.
Skills & Interests
Programming languages
Haskell (daily programming, research prototypes), Agda, OCaml, Rust, TypeScript, JavaScript
Research
Functional programming, theorem proving, type theory
Engineering
Compiler/tooling development, web application development
Education & Academic Experiences
- Institute of Science Tokyo
- Doctoral Student, Oct. 2024 - Present
- Tokyo Institute of Technology
- Master of Engineering (Computer Science), Sep. 2024
- Chalmers University of Technology
- Academic Exchange, Aug. 2022 - Jun. 2023
- Tokyo Institute of Technology
- Bachelor of Engineering (Computer Science), Mar. 2022
Publications
- Formalization of Coverage Checking in Agda
- , Sosuke Moriguchi and Takuo Watanabe
- To appear in Proceedings of the 14th Workshop on Computation: Theory and Practice (WCTP2025)
- Unification Modulo Isomorphisms between Dependent Types for Type-Based Library Search
- , Sosuke Moriguchi and Takuo Watanabe
- To appear in Proceedings of the 10th ACM SIGPLAN international workshop on type-driven development (TyDe2025)
- Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists
- Sosuke Moriguchi, , Mizuki Shirai and Takuo Watanabe
- 13th Workshop on Computation: Theory and Practice, Atlantic Press, pp. 7–19, Nov., 2024.
- https://doi.org/10.2991/978-94-6463-684-0_2
CV
My CV can be found here.