Taro Sekiyama
Taro Sekiyama
Associate Professor, National Institute of Informatics
Joined
July 2019
Names
Emails
****@nii.ac.jp (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Associate Professor
National Institute of Informatics (nii.ac.jp)
2023 – Present
Assistant Professor
National Institute of Informatics (nii.ac.jp)
2018 – 2023
Researcher
International Business Machines (ibm.com)
2016 – 2018
Advisors, Relations & Conflicts
PhD Advisor
Atsushi Igarashi
2010 – 2015
Expertise
Programming languages
Present
Program verification
Present
Publications
Co-Authors
- Akifumi Imanishi
- Atsushi Igarashi
- Fuga Kawamata
- Haruki Imai
- Hiroki Nakano
- Hiroshi Kajino
- Hiroshi Unno
- Ichiro Hasuo
- Issei Sato
- Kiyokuni Kawachiya
- Kohei Suenaga
- Kun Zhao
- Lélio Brun
- Masaharu Sakamoto
- Masaki Waga
- Michael Greenberg
- Misato Nakabayashi
- Naoki Kobayashi
- Rudy Raymond
- Shota Ozaki
- Soichiro Ueda
- Tachio Terauchi
- Takamasa Okudono
- Takashi Imamichi
- Takayuki Osogami