Welcome to my research page!

I am currently a postdoctoral fellow at ENS Lyon, with Damien Pous.
Starting in September 2018, I will be mainly working with Mikołaj Bojańczyk in Warsaw University.
I defended my PhD at IRIF in June 2017, in the PPS team (Université Paris 7),
under the supervision of David Baelde (LSV, ENS Cachan) and Alexis Saurin (Université Paris 7).

Some research interests: Kleene algebras, Logics with fixed points, Automata theory,
Linear logic, Ludics, Game semantics.

Contact information: amina.doumane[at]ens-lyon.fr

Curriculum Vitae