Welcome to my research page!
I am currently a postdoctoral fellow at Warsaw University with Mikołaj Bojańczyk, and at ENS Lyon, with Damien Pous. 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