Basic Information

Faculty

• 工学部

Academic Degree

• M.S.(University of Manchester)
• Ph.D.(Teesside University)

ID,URL

• J-Global ID

  202001001930745971

researchmap URL

• https://researchmap.jp/ryutaa

Research

External funds: Kakenhi

• 議論の形式検証を実現する論理的手法の研究

  Grant-in-Aid for Scientific Research (C)

  Basic Section 61030:Intelligent informatics-related

  Kyoto University

  蟻坂 竜大

  From 01 Apr. 2021, To 31 Mar. 2024, Granted

  自動証明;プログラム検証;数理議論;信用;separation logic

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K12028/

Education

Teaching subject(s)

• From Apr. 2021, To Mar. 2022

  Practice of Information Systems (Jp)

  Spring, 情報学研究科
• From Apr. 2021, To Mar. 2022

  Practice of Information Systems (En)

  Spring, 情報学研究科
• From Apr. 2021, To Mar. 2022

  Computer Science Laboratory and Exercise 1

  Spring, 工学部
• From Apr. 2021, To Mar. 2022

  Computer Science Laboratory and Exercise 1

  Spring, 工学部
• From Apr. 2021, To Mar. 2022

  Computer Science Laboratory and Exercise 2

  Fall, 工学部

Administration

Faculty management (title, position)

• From 01 Apr. 2021, To 31 Mar. 2022

  情報セキュリティ委員会技術責任者
• From 01 Apr. 2021, To 31 Mar. 2022

  情報セキュリティ作業委員会委員
• From 01 Apr. 2021, To 31 Mar. 2022

  情報セキュリティWG委員
• From 01 Apr. 2021, To 31 Mar. 2022

  計算機小委員会委員
• From 01 Apr. 2021, To 31 Mar. 2022

  システム運用WG委員