Researcher's full information
- Teaching
| 2011-04 -- 2012-03 | Seminar B in Computer Science | University of Tsukuba. |
| 2011-04 -- 2012-03 | Seminar A in Computer Science | University of Tsukuba. |
| 2011-04 -- 2012-03 | Seminar in Computer Science | University of Tsukuba. |
| 2011-04 -- 2011-07 | Software and Computing Science Laboratory I | University of Tsukuba. |
| 2011-08 -- 2011-11 | Models of Computation | University of Tsukuba. |
| 2011-08 -- 2011-11 | Software and Computing Science Laboratory II | University of Tsukuba. |
| 2011-12 -- 2012-03 | Advanced Models for Deduction and Computation | University of Tsukuba. |
| 2011-12 -- 2012-03 | Software and Computing Science Laboratory III | University of Tsukuba. |
| 2010-04 -- 2011-03 | Research in Computer Science II | University of Tsukuba. |
| 2010-04 -- 2011-03 | Research in Computer Science I | University of Tsukuba. |