About Me

I am a software engineer in Tokyo, Japan.
My interests are formal languages and computational logic.

Education

• Apr. 2019 - Mar. 2021
  Master of Computer Science (Supervisor: Prof. Naoki Kobayashi)
  Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo
• Apr. 2015 - Mar. 2019
  Bachelor of Engineering
  Department of Electrical and Electronic Engineering, Faculty of Engineering, The University of Tokyo

Peer-reviewed conference paper

• Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, and Ryosuke Sato.
  Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
  28th Static Analysis Symposium (SAS 2021), Chicago, Illinois, United States, 2021.
  (Springer)(arXiv)(slides)(video)(repository)

Experience

• Sep. 2019 - Mar. 2021
  Backend web engineer at Promethee Inc.
• Mar. 2019
  Software engineer at Fixstars Corporation
• Aug. 2017 - Mar. 2018
  Cloud engineer at Moff Inc.

Skills

• Competitive programming (AtCoder)
• Programming language: Rust, C/C++, Type Script, Python, OCaml