He received his B.S., M.S., and Ph.D from University of Tokyoin 2003, 2005, and 2008 respectively. Before he joins GSI, he was an assistant professor of Hakubi Center of Advanced Research in Kyoto University (2012--2013), a postdoctoral fellow of the Japan Society for the Promotion of Science (2011--2012 and 2008--2009), a postdoctoral researcher at University of Lisbon (2010--2011), and a researcher at IBM Research Tokyo (2009--2010). His current research interest includes (semi)automated static verification of software and hybrid systems.