Satoshi Takimoto

Hello! I am a master's student at Tokyo Institute of Technology in the Programming Systems Group. I am interested in (functional) programming languages and theorem provers. Haskell and Agda are my favorites!

I like traveling, visiting museums, and collecting postcards. Otherwise, I usually spend my time programming and sleeping.

CV

My CV can be found here.

Education & Academic Experiences

Chalmers University of Technology, Academic Exchange, Aug. 2022 - Jun. 2023
Tokyo Institute of Technology, Bachelor of Engineering, Mar. 2022

Qualifications

応用情報技術者試験
TOEFL® Test: 96 (Mar. 2024)
TOEIC® L&R Test: 855

Skills

I usually use Haskell for daily programming and Agda for formalizing and proving things. I am also proficient in OCaml, Rust, TypeScript, and JavaScript.