Zeinab Galal

I am a postdoctoral researcher at the University of Manchester (transferred from the University of Leeds) working with Nicola Gambino. Previously, I was a PhD student at the University of Paris under the supervision of Thomas Ehrhard, Christine Tasson and Lionel Vaux.

Publications

A Combinatorial Approach to Higher-Order Structure for Polynomial Functors.
With Marcelo Fiore and Hugo Paquet. In Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022).
A Bicategorical Model for Finite Nondeterminism.
In Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021).
A Profunctorial Scott Semantics.
In Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020).
Ilyashenko algebras based on transserial asymptotic expansions.
With Tobias Kaiser and Patrick Speissegger. Advances in Mathematics. Volume 367, 24 June 2020.

Thesis manuscript

Current version: Bicategorical Orthogonality Constructions for Linear Logic

Contact

Email: zeinab DOT galal AT manchester.ac.uk
Address: Department of Mathematics
Alan Turing Building
Manchester M13 9PL, United Kingdom