Klara Nosan

I am a first-year PhD student at the Institut de Recherche en Informatique Fondamentale (IRIF), Université Paris Cité, under the supervision of Mahsa Shirmohammadi, IRIF and James Worell, University of Oxford, working on Verification and invariant synthesis of polynomial programs.

My research interests lie in formal verification, finite model checking and model synthesis, and algebraic computational complexity.

Publications and preprints



Other activities

Teaching (in French)


Klara and her plant


Write to me: nosan [at] irif.fr

Find me in person: office 4031 at IRIF, bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris.