Promoter for 2004
Total of 20 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 |
| Atsushi Ohori | School of Information Science (Department of Information Processing) · Professor |
Computer Science Ph.D. |
A Formal Description System for e-Societies Language for System Description of 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 |
| Keishi Tajima | School of Information Science (Department of Information Processing) · Associate Professor |
Database Doctor in Science |
E-Society Verification Methodology Database Technologies for e-Society Simulation |
| 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 |
