Zeinab Galal

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

Drafts

Stabilized profunctors and stable species of structures.
With Marcelo Fiore and Hugo Paquet.
Fixpoint operators for 2-categorical structures.

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 lip6.fr
Address: LIP6
4 place Jussieu
Paris 75005, France