You are here

List by research field(Software)

Namesort descendingAffiliationOfficial titleResearch fields - keywords
Shinjo YasushiFaculty of Engineering, Information and SystemsAssociate ProfessorSoftware, Communication/Network engineering - Operating Systems, Systems Software, Security, Distributed Systems, Concurrent Systems, Virtual Systems, Decentralized Social Networking Service
Takahashi ShinFaculty of Engineering, Information and SystemsAssociate ProfessorIntelligent informatics, Software - User interface software, Ubiquitous Computing
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 - プログラム検証, 人工知能, プログラミング言語, 形式手法, 自動推論, モデル検査, 型システム, 制約解消, 自動定理証明, プログラム合成