Update: Apr 03, 2017


Personal Data


Graduated with the D.E. degree from the Graduate School of Engineering at Nagoya University in 2004. He became a Research Associate in the Graduate School of Information Science at Nagoya University in 2004. From April 2007, he has been an Assistant Professor at Nagoya University, and he was a visiting researcher in DSIC at Technical University of Valencia from July 2011 to December 2011. From April 2013, he has been an Associate Professor at Nagoya University. He received the Best Paper Award from IEICE in 2011. He is interested in program inversion, theorem proving, term rewriting, and program verification. He is a member of IEICE and JSSST.


Sakai Lab. Graduate School of Informatics Dept. of Information Engineering Graduate School/School of Engineering Nagoya University
Produced by N.Nishida (nishida @ i.nagoya-u.ac.jp)