Promoter for 2005
Total of 24 promoters
| Name | Affiliation (Department) · Title | Current specialty Degree |
Role |
| (COE Leader) Takuya Katamaya |
School of Information Science (Department of Information Systems) · Professor |
Software Science· Engineering Doctor of Engineering |
Supervison of COE Project E-Society Verification· Evolution in general |
| Hiroakira Ono | School of Information Science (Department of Information Processing) · Professor |
Mathematical Logic and Its Application to Information Science Doctor of Science |
A Formal Description System for e-Societies Formal Logic for Description of e-Societies |
| Kokichi Futatsugi | School of Information Science (Department of Information Systems) · Professor |
Software Engineering Doctor of Engineering |
A Formal Description System for e-Societies Formal Specification and Verification for e-Societies |
| Mizuhito Ogawa | Research Center for Trustworthy e-Society· Research Professor | Software Engineering Doctor in Science |
A Formal Description System for e-Societies Functional Description for e-Societies |
| Vestergaard, Rene | School of Information Science (Department of Information Systems) · Associate Professor |
Programming Language Ph.D. |
A Formal Description System for e-Societies Formal Logic for Description of e-Societies |
| Masaki Nakamura | School of Information Science (Department of Information Systems) · Associate |
Software Engineering Doctor in Information Science |
A Formal Description System for e-Societies Algebraic Description for e-Societies |
| Akira Shimazu | School of Information Science (Department of Information Processing) · Professor |
Natural Language Processing Doctor of Engineering |
Verification of e-Society Trustworthiness Requirements Natural Language Processing of Legal Reasoning for e-Sociaty |
| Satoshi Tojo | School of Information Science (Department of Information Processing) · Professor |
Artificial Intelligence Doctor in Engineering |
Verification of e-Society Trustworthiness Requirements Legal Reasoning Mechanism for e-Society |
| Atsuko Miyaji | School of Information Science (Department of Information Systems) · Associate Professor |
Information Security Doctor in Science |
Verification of e-Society Trustworthiness Requirements Verification of Secutiry for e-Society |
| Masakazu Soshi | School of Information Science · Research Associate Professor |
Information Security Doctor of Engineering |
Verification of e-Society Trustworthiness Requirements Verification of Secutiry for e-Society |
| DÉFAGO, Xavier | School of Information Science · Research Associate Professor |
Distributed System· Fault Tolerance Ph.D. |
Verification of e-Society Trustworthiness Requirements Varification of Dependability for e-Society |
| SHEN, Hong | School of Information Science (Department of Information Systems) · Professor |
Information Network Ph.D. |
E-Society Verification Methodology Logical Simulation Technologies for e-Society |
| Yoichi Shinoda | Center for Information Science· Professor | Internet Technology Doctor of Engineering |
E-Society Verification Methodology Internet Technologies for e-Society Simulation |
| Kunihiko Hiraishi | School of Information Science (Department of Information Systems) · Professor |
System Science· Engineering Doctor of Engineering |
E-Society Verification Methodology Verification Technologies for e-Society |
| Toshiaki Aoki | School of Information Science (Department of Information Systems) · Associate |
Software Engineering Doctor in Information Science |
E-Society Verification Methodology Theorem Proving Technologie for e-Society Verifiaction |
| Koichiro Ochimizu | School of Information Science (Department of Information Systems) · Professor |
Software Engineering Doctor of Engineering |
E-Society Modeling and Evolution Object technologies for e-Society evolution |
| Mitsuru Ikeda | School of Knowledge Science (Department of Knowledge System Science) · Professor |
Knowledge Engineering Doctor of Engineering |
E-Society Modeling and Evolution Knowledge Systematization for e-Society Evolution |
| Noriki Amano | School of Information Science (Department of Information Systems) · Associate |
Software Engineering Doctor in Information Science |
E-Society Modeling and Evolution Language for e-Society Evolution |
| Kazuhiro Fujieda | School of Information Science (Department of Information Systems) · Associate |
Software Engineering Doctor in Information Science |
E-Society Modeling and Evolution Evolution Environment for e-Society |
| Tetsuo Asano | School of Information Science (Department of Information Processing) · Professor |
Computational Geometry Doctor of Engineering |
Basic Technology for Trustworthy e-Society Verification and Evolution Algorithm |
| Yasushi Hibino | School of Information Science (Department of Information Systems) · Professor |
Computer Architecture Doctor in Engineering |
Basic Technology for Trustworthy e-Society High-reliability architecture for e-Society |
| Mineo Kaneko | School of Information Science (Department of Information Systems) · Professor |
Integrated Circuit Design Doctor of Engineering |
Basic Technology for Trustworthy e-Society High-reliability architecture for e-Society |
| Masato Akagi | School of Information Science (Department of Information Processing) · Professor |
Audio Information Processing Doctor of Engineering |
Basic Technology for Trustworthy e-Society Audio Interface for e-Society |
| Jianwu Dang | School of Information Science (Department of Information Processing) · Professor |
Audio Information Processing Doctor in Engineering |
Basic Technology for Trustworthy e-Society Audio Interface for e-Society |
