This menu jumps directly to each part in the page.
Go to main menu
Go to main text
Go to footer
  1. Home
  2. About Our Program
  3. Promoter
  4. 2004

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