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

Conferences

Talks

Other activities

Teaching (in French)

2021/2022

Klara and her plant

Contact

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.