Satoshi Takimoto

Hello! I am a doctoral student at Institute of Science Tokyo (formerly 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 researching, programming, and sleeping.

CV

My CV can be found here.

Education & Academic Experiences

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

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.