Faculty Directory (TAKAHASHI Makoto)

Name TAKAHASHI Makoto (髙橋 真)
Title Professor
E-Mail makoto [at] kobe-u.ac.jp
Degree Sc.D. (Waseda University)
Research Field Mathematical Logic and Informatics
Faculty [Undergraduate] Department of Human Environmental Science > Division of Mathematics and Informatics
Research Interest

Axiomatic Set Theory and Formal Verification of Distributed Systems

Graduate School [Master's Program] Department of Human Environmental Science > Division of Mathematics and Informatics
[Doctoral Program] Department of Human Environmental Science > Division of Mathematics and Informatics
[(old) Master's Program] Department of Human Environmental Science > Division of Mathematics and Informatics
[(old) Doctoral Program] Department of Human Environmental Science > Division of Mathematics and Informatics
Research Interest

Game Theoretic Properties of Infinite Boolean Algebras and Systems Verification using Model Checking Tools

Researcher Info. Directory of Researchers in Kobe University
Personal Site http://herb.h.kobe-u.ac.jp/index-e.html