| 1973 | Born in MIYAZAKI Prefecture, Japan |
| |
|
| 1992 -- 1996 |
Osaka University (Dept. of Mathematics, Faculty of Science/Graduate School of Science) |
| 1996 -- 1998 |
Osaka University (Dept. of Mathematics, Graduate School of Science, MC) |
| 1998 Mar. |
Acquired a master's degree (Science) from Osaka University |
| 1998 -- 2003 |
Osaka University (Dept. of Mathematics, Graduate School of Science, DC) |
| 2003 Apr. -- 2004 July |
AIST (Laboratory/(Research Center) for Verification and Semantics) as a JST research staff |
| 2003 Dec. | Acquired a doctoral degree (Science) from Osaka University |
| 2004 Aug. -- |
AIST (Research Center for Verification and Semantics) as a AIST research staff |