Taro Sekiyama

Associate Professor, National Institute of Informatics
Joined
July 2019

Names

Taro Sekiyama

Emails

****@nii.ac.jp (Confirmed)
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Associate Professor
National Institute of Informatics (nii.ac.jp)
2023Present
Assistant Professor
National Institute of Informatics (nii.ac.jp)
20182023
Researcher
International Business Machines (ibm.com)
20162018

Advisors, Relations & Conflicts

PhD Advisor
Atsushi Igarashi
20102015

Expertise

Programming languages
Present
Program verification
Present

Publications

View all 40 publications

Co-Authors