2022年9月14日

【受賞】2022年FIT船井業績賞---杉山将教授---

2022年7月12日

【最終講義】(事情により延期) 萩谷昌己特命教授　2022.7.16（土）14:00～16:00

2022年5月2日

【受賞】瑞宝中綬章（令和4年春の叙勲）-辻井潤一名誉教授-

2022年4月27日

2022年度 駒場学生向けの情報科学科ガイダンスのポスターを公開しました

2022年4月27日

5月24日に理学部ガイダンスにて駒場学生向けに情報科学科の紹介を行います

2022年4月27日

5月21日に大学院専攻入試案内及び入試説明会開催を開催します

2021年8月18日

辻井潤一名誉教授が自然言語処理・計算言語学分野において最も権威のある賞「ACL Lifetime Achievement Award」を受賞しました

2022年9月28日（水）16:00～17:30

佐藤 亮介（東京大学情報理工学系研究科）

高階モデル検査によるソフトウェアの全自動形式検証

2022年7月20日（水）10:00～11:30

Lei Ma（University of Alberta, Canada）

Towards Quality and Reliability Engineering in the era of Data-Driven Complex AI Systems

2022年7月6日（水）15:00～16:30

河村 彰星（京都大学）

連続世界の計算論

2022年6月29日（水）15:00～16:30

勝股 審也（国立情報学研究所）

ホーア論理のモナド的モデル

2022年6月15日（水）14:00～15:30

石川 冬樹 氏（国立情報学研究所）

自動運転・AIシステムのためのテスト・デバッグ技術の深化

2022年5月18日（水）15:00～16:30

亀井 靖高 氏（九州大学大学院システム情報科学研究院）

マイニングソフトウェアリポジトリ ~ソフトウェア品質改善の自動化／半自動化に向けて~