Profile

Employment

• Jan 2014 -: Associate Professor, Graduate School of Information Science & Technology, Osaka University.  


• Apr 2008 - Dec 2013: Assistant Professor, Graduate School of Information Systems, The University of Electro-Communications (UEC).  


• Apr 1997 - Mar 2008: Kajima corporation.  

Education

• Feb 2013: Ph.D. in Engineering, Waseda University.  


• Apr 2007 - Mar 2008: Ph.D. candidate, Graduate School of Information Science and Technology, The University of Tokyo. (leave school to assume an assistant professor)  


• Apr 2005 - Mar 2007: M. Graduate School of Information Science and Technology, The University of Tokyo.  


• Apr 1993 - Mar 1997: B. School of Engineering Science, Osaka University.  

Courses

• Theory of Computation  


• Mathematical Logic  


• Dependable Systems  


• Concurrent Systems  


• Java Programming (until 2015)  


• Introduction to Information and Computer Sciences