Degree 【 display / non-display 】

Degree 【 display / non-display 】

• Ph.D., University of Birmingham, 2020.07

Campus Career 【 display / non-display 】

Campus Career 【 display / non-display 】

• Faculty of Core Research Natural Sciences Division, Lecturer, 2025.04 -

Research Field 【 display / non-display 】

Research Field 【 display / non-display 】

• Informatics / Informatics / Theory of informatics

Class management data 【 display / non-display 】

Class management data 【 display / non-display 】

• 2026

• Discrete Mathematics[26C5011]

• Seminar on certified programming languages[26M2094]

• Advanced certified programming languages[26M2093]

Presentations 【 display / non-display 】

Presentations 【 display / non-display 】

• プログラムを質的かつ量的に比較する

  室屋　晃子, Domestic, 2023.09, , 日本ソフトウェア学会第40回大会 40周年企画セッション「若手研究者特別講演」, Invited, Main Speaker