2016/08/11
Yoshihiro Mizoguchi was born in Fukuoka on June 20, 1960. He received B.S. in 1983, the M.S. 1985 in Mathematics and the Dr. Sci. in 1992 in Information Systems from Kyushu University. Presently, he is a Professor of Institute of Mathematics for Industry, Kyushu University at Fukuoka. His research interests are theoretical aspects in computer science, including logic of programming language, cellular automata, computer graphics, category theories and network securities. Keywords: logic of programming language, cellular automata, computer graphics, category theories, network securities. ---------------------------------------------------------------------------- C u r r i c u l u m V i t a e Yoshihiro Mizoguchi Laboratory of Advanced Software in Mathematics Institute of Mathematics for Industry Kyushu University 744 Motooka, Nishi-ku, Fukuoka, JAPAN 819-0395. * Research Interest: Theoretical aspects in Computer Science, Mathematics for Computer Graphics, Category Theory for Computer Science, Unconventional Computing, Computer Networks and Securities. * Education: 1979-1983 BSc stydy at Department of Mathematics, Faculty of Science, Kyushu University. 1983-1985 MSc study at Department of Mathematics, Faculty of Science, Kyushu University. Subject: Category Theory and Computer Science Supervisor: Prof. Yasuo Kawahara 1985-1988 PhD study at Department of Mathematics, Faculty of Science, Kyushu University. Subject: Category Theory and Computer Science Supervisor: Prof. Yasuo Kawahara 1992 Dr. of Science, Information Systems, Kyushu University. Thesis Title: Graph Transformations Using Relational Calculus Advisor: Prof. Yasuo Kawahara Committee Members: Prof.Setsuo Arikawa, Prof.Toru Hidaka, Prof.Nagata Furukawa We construct a general framework of graph transformation systems using the relational calculus. We extend a notion of critical pairs of term rewriting systems to the notion of graph rewriting systems. And we proved an critical pair's lemma in a graph transformation systems using simple relational calculus. * Job Experience Professor (Aug.2016 - Present) Laboratory of Advanced Software in Mathematics, Institute of Mathematics for Industry, Kyushu University, Japan. Research work in Theoretical Software Science, Mathematics for Computer Graphics and Computer Networks. Teach undergraduate courses: Information Mathematics, Linear Algebra, Complex Analysis, and Methodology of Teaching Information Subjects. Teach master and phd courses: Advanced Course of Computing Mathematics. Associate Professor (Apr.2011 - Jul.2016) Institute of Mathematics for Industry, Kyushu University Visiting Associate Professor (2008-2010) Graduate School of Arts and Sciences, The Open University of Japan, Associate Professor (Oct.2000 - Mar.2011) Faculty of Mathematics, Kyushu University Research work in unconventional computings and computer networks. Teach undergraduate courses: Information Mathematics, Linear Algebra, Complex Analysis, and Methodology of Teaching Information Subjects. Teach a master course: Advanced Course of Computing Mathematics. Visiting Researcher (Mar.1998 - Jan.1999) Dept. of Computing, University of Manchester Institute of Science and Technology, UK Research work in software engineering Associate Professor (Apr.1993 - Sep.2000) Faculty of Computer Science and System Engineering, Kyushu Institute of Technology Research work in graph transformation systems, and computer security. Teach two undergraduate courses: Data Structure and Algorithms, and Automata Theory. Teach a master course: Advanced Course of Computational Model. Lecturer (Apr.1988 - Mar.1993) Faculty of Computer Science and System Engineering, Kyushu Institute of Technology * Activities Associate Editor (1999-2002) IEICE Transactions of Information and Systems. Secretary (2003) Special Section on "Cellular Automata" IEICE Transactions of Information ans Systems. Guest Associate Editor (2007, 2008, and 2009) Special section on "Foundation of Computer Sience" IEICE Transactions of Information ans Systems. Reviewer (2007-) American Mathematical Society Mathematical Reviews. Board member (2013-) Mathematics Education Society in Kyushu. Editor member (2016-) MATEMATIKA, Malaysian Journal of Industrial and Applied Mathematics. Editor member (2016-) International Journal of Applied & Experimental Mathematics * Special Skills Systems: Experiences in UNIX administration on Sun Solaris and Linux. Proficient in a network socket programming for Client/Server Systems. Language: Proficient in Pascal, C, Python and Java; familiar with Haskell, Lisp and Prolog. Goverment Certification: Class I Information Technology Engineer Amateur First-Class Radio Operator * Memberships The Institute of Electronics, Infromation and Communication Engineers (IEICE), Mathematical Society of JAPAN (MSJ), Information Processing Society of Japan (IPSJ), Japan Society for Software Science and Technology (JSSST), Association for Computing Machinery (ACM). * Personal Information Date of Birth: June 20, 1960 Place of Birth: Fukuoka, JAPAN Citizenship: JAPAN Spoken Languages: Japanese, English --------------------------------------------------------------------------- |

Last-modified: 2016-08-11 (木) 05:13:35 (406d)