Basic Information

Affiliated programs (koza)

• Graduate School of Science, 数学・数理解析専攻（数理解析系）応用数理講座, 助教

ID,URL

• ORCID ID

  0009-0008-6402-3531

• J-Global ID

  202501006658034368

• External link

  https://zgalal.github.io/

researchmap URL

• https://researchmap.jp/zgalal

Research

Research Interests

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

Research Areas

• Natural sciences, Basic mathematics, Mathematical logic
• Informatics, Mathematical informatics, Theoretical computer science

Papers

• Coinductive reasoning for parametrized functors and monads.

  Ugo Dal Lago; Zeinab Galal

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

  

Education

Teaching subject(s)

• From 01 Apr. 2026, To 31 Mar. 2027

  Fundamentals of Computer Science

  T023, Spring, Institute for Liberal Arts and Sciences, 2