You are here

List by research field(Theory of informatics)

Namesort descendingAffiliationOfficial titleResearch fields - keywords
Aranha Claus de CastroFaculty of Engineering, Information and SystemsAssistant ProfessorSoftware, Theory of informatics - Evolutionary Algorithms, Optimization Techniques, Data Analysis, Machine Learning, Artificial Intelligence
Endo YasunoriFaculty of Engineering, Information and SystemsProfessorIntelligent informatics, Control engineering/System engineering, Theory of informatics - Soft Computing, Fuzzy, Clustering, Risk Analysis, System Model, Functional Analysis
Hasebe KojiFaculty of Engineering, Information and SystemsAssociate ProfessorSoftware, Theory of informatics - Mathematical logic, Formal methods, distributed systems, multi-agent systems, game theory, Information security
Koga HirokiFaculty of Engineering, Information and SystemsProfessorTheory of informatics - Information Theory, Information Security, Data compression
Kunihiro NoboruFaculty of Engineering, Information and SystemsProfessorTheory of informatics - Cryptography, Public Key Cryptography, Cryptoanalysis, Information Security, Quantum Algorithm
Moritsugu ShuichiFaculty of Library, Information and Media ScienceProfessorTheory of informatics - Computer algebra
Sanuki MasaruFaculty of MedicineAssistant ProfessorFoundations of mathematics/Applied mathematics, Educational technology, Theory of informatics - symbolic-numeric computation, symbolic computation, Numerical computation, Educational Informatics, e-learning; tele-medicine, Medical Informatics, Medical Education
Terui AkiraFaculty of Pure and Applied SciencesAssociate ProfessorTheory of informatics, Software - Computer algebra, numeric computation, symbolic-numeric computation
Unno HiroshiFaculty of Engineering, Information and SystemsAssociate ProfessorTheory of informatics, Software - プログラム検証, 人工知能, プログラミング言語, 形式手法, 自動推論, モデル検査, 型システム, 制約解消, 自動定理証明, プログラム合成