Profile

Employment

• Apr 2024 -: Professor, Department of Computer Science, Faculty of Environmental and Life Science, Okayama University.  


• Apr 2024 -: Visiting Professor, Graduate School of Information Science & Technology, Osaka University.  


• Jan 2014 - Mar 2024: 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

• Autonomous Software Design  


• Software Verification  


• Algorithms and Computational Complexity  


• Programming Languages  


• Linear Algebra  


• Theory of Computation (until 2024)  


• Mathematical Logic (until 2024)  


• Dependable Systems (until 2023)  


• Concurrent Systems (until 2023)  


• Java Programming (until 2015)  


• Introduction to Information and Computer Sciences (until 2018)