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

---------------------------------------------------------------------------

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2016-08-11 (木) 05:13:35 (406d)