You are here

List by research field(Theory of informatics)

Namesort ascendingAffiliationOfficial titleResearch fields - keywords
Unno HiroshiFaculty of Engineering, Information and SystemsAssociate ProfessorTheory of informatics, Software - プログラム検証, 人工知能, プログラミング言語, 形式手法, 自動推論, モデル検査, 型システム, 制約解消, 自動定理証明, プログラム合成
Terui AkiraFaculty of Pure and Applied SciencesAssociate ProfessorTheory of informatics, Software - computer algebra, symbolic-numeric computation, numeric computation, robotics, approximate greatest common divisor, Groebner basis, quantifier elimination, inverse kinematics
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
Moritsugu ShuichiFaculty of Library, Information and Media ScienceProfessorTheory of informatics - Computer algebra
Kunihiro NoboruFaculty of Engineering, Information and SystemsProfessorTheory of informatics, Information security - Cryptography, Public Key Cryptography, Cryptoanalysis, Information Security, Quantum Algorithm
Koga HirokiFaculty of Engineering, Information and SystemsProfessorTheory of informatics - Information Theory, Information Security, Data compression
Hasebe KojiFaculty of Engineering, Information and SystemsAssociate ProfessorSoftware, Theory of informatics - Mathematical logic, Formal methods, distributed systems, multi-agent systems, game theory, Information security
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
Aranha Claus de CastroFaculty of Engineering, Information and SystemsAssistant ProfessorSoft computing, Entertainment and game informatics, Intelligent informatics, Software, Theory of informatics - Evolutionary Computation, Artificial Life, Optimization, Simulation, Procedural Generation