基本情報

協力講座

• 理学研究科, 数学・数理解析専攻（数理解析系）応用数理講座, 助教

学位

• 2019年04月08日

  M.S.（Universite Paris Diderot）
• 2016年11月18日

  M.S.（McMaster University）
• 2022年04月20日

  Ph.D（Universite Paris-Cite）

ID,URL

• ORCID ID

  0009-0008-6402-3531

• J-Global ID

  202501006658034368

• 外部リンク

  https://zgalal.github.io/

researchmap URL

• https://researchmap.jp/zgalal

研究

研究キーワード

• Fixed point theory
• Semantics of programming languages
• Category theory

研究分野

• 自然科学一般, 数学基礎, Mathematical logic
• 情報通信, 数理情報学, Theoretical computer science

論文

• Coinductive reasoning for parametrized functors and monads.

  Ugo Dal Lago; Zeinab Galal

  Proceedings of the 37th International Conference on Concurrency Theory (CONCUR 2026), 2026年

  

教育

担当科目

• 自 2026年04月01日, 至 2027年03月31日

  コンピュータサイエンス基礎

  T023, 前期, 国際高等教育院, 2