You are here

List by research field(Theory of informatics)

Namesort descendingAffiliationOfficial titleResearch fields - keywords
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
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, Information security - 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, symbolic-numeric computation, numeric computation, robotics, approximate greatest common divisor, Groebner basis, quantifier elimination, inverse kinematics
Unno HiroshiFaculty of Engineering, Information and SystemsAssociate ProfessorTheory of informatics, Software - プログラム検証, 人工知能, プログラミング言語, 形式手法, 自動推論, モデル検査, 型システム, 制約解消, 自動定理証明, プログラム合成