Mahsa Shirmohammadi
CNRS researcher & IRIF

Research interest

Verification, probabilistic models, infinite-state systems, automata theory, numerical computation.

About me

I am a CNRS researcher, a computer scientist based at Institut de Recherche en Informatique Fondamentale (IRIF) - Université de Paris. Before this, I had a wonderful experience as a postdoctoral researcher of Prof. Stefan Kiefer at University of Oxford (UK). My PhD was joint between LSV, ENS de Cachan (France) and ULB (Belgium).

See my DBLP page for a list of my publications.

A reliable way to write me? myfirstname at
My phone number: +33 (0)1 57 27 92 29
My office: Office 4017 at IRIF, 4th floor of Sophie Germain building.

Postal address:
IRIF, Université de Paris
8 Place Aurélie Nemours
75013 Paris