sano

I am a software developer and a researcher interested in design and implementation of programming languages, living in Tokyo, Japan. All my posts are my own and should never be taken seriously.

Please feel free to contact me at twitter@sano_jn. I might not respond that fast, though 🙂.

Interests

I am interested in the design and implementation of programming languages. Here is a list of topics that I am into.

• Functional language
• Type system
• Software verification
• Graph transformation

Publications

See https://www.ueda.info.waseda.ac.jp/~sano/.

Career

April 2023 – current: A software developer in Tokyo, Japan.

April 2021 – March 2023: Master’s program

• Department of Computer Science and Communications Engineering, Graduate School of Fundamental Science and Engineering, Waseda University, Supervisor: Professor Kazunori Ueda.

April 2017 – March 2021: Bachelor of Engineering

• Department of Computer Science and Engineering, School of Fundamental Science and Engineering, Waseda University, Supervisor: Professor Kazunori Ueda

Music

I am currently into creating music.

sano · Celeste

sano · Another day

Software

GitHub

Here are a list of programming languages that I often use.

• Ocaml, Haskell, TypeScript (React), Elm, C++, Python, Rust, a little bit of bash script, Java (though I do not prefer much)