You are here

List by research field(Software)

items/page
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
Takahashi ShinFaculty of Engineering, Information and SystemsAssociate ProfessorIntelligent informatics, Software - User interface software, Ubiquitous Computing
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
Oyama YoshihiroFaculty of Engineering, Information and SystemsAssociate ProfessorSoftware, Computer system, Information security - Computer security, System software, Operating systems, System security, Virtualization
Mitani JunFaculty of Engineering, Information and SystemsProfessorSoftware - コンピュータグラフィックス, ヒューマンインタフェース, 形状モデリング, 折紙
Machida FumioFaculty of Engineering, Information and SystemsAssociate ProfessorComputer system, Mathematical informatics, Software - ディペンダビリティ, 確率モデル, 可用性, 信頼性
Kato KazuhikoUniversity of TsukubaExecutive DirectorSoftware - operating systems, distributed computing, virtual computing environment, information security, cloud computing
Kameyama YukiyoshiFaculty of Engineering, Information and SystemsProfessorSoftware - Programming Logic, Software Verification
KINO YasunobuFaculty of Business SciencesAssociate ProfessorSocial systems engineering/ Safety system, Library and information science/ Humanistic social informatics, Software - Project Management, Software development, Risk Management

Pages