Nov. 2017 | — | current | 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. |