Apr. 2020 | — | current
| Senior researcher at
Infrastructure Protection Security Research Team,
Cyber Physical Security Research Center,
AIST, Japan.
|
Nov. 2017 | — | Mar. 2020
| Project assistant professor←postdoc at
ERATO HASUO Metamathematics for Systems Design Project,
National Institute of Informatics (NII), Japan.
|
Apr. 2015 | — | Oct. 2017
| Postdoc at
Computational Logic Group,
University of Innsbruck, Austria.
|
May. 2014 | — | Mar. 2016
| Visiting researcher←postdoc←technical staff at
National Institute of Advanced Industiral Science (AIST), Japan.
|
Apr. 2011 | — | Sept. 2014
| Ph.D. student at
Sakabe-Sakai lab.,
Nagoya University, Japan.
|
Apr. 2008 | — | Mar. 2011
| Engineer at
Panasonic Advanced Technology Development Co, Ltd.
|
Apr. 2006 | — | Mar. 2008
| Master student at Sakabe-Sakai lab.
|
Apr. 2002 | — | Mar. 2006
| Bachelor student at Nagoya University.
|