Klara Nosan

I am a second-year PhD student at the Institut de Recherche en Informatique Fondamentale (IRIF), Université Paris Cité, under the supervision of Mahsa Shirmohammadi (IRIF) and James Worrell (University of Oxford).

Prior to starting my PhD, I completed a bachelor's degree in computer science at the University of Ljubljana, spent the first year of my master's at Ecole Polytechnique, and obtained my master's degree in computer science at the Parisian Master of Research in Computer Science (MPRI).

My thesis topic is Verification and invariant synthesis of polynomial programs. More generally, my research interests lie in the fields of formal verification, symbolic computation, and algebraic computational complexity.


nosan [at] irif [dot] fr

office 4031 at IRIF, bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris

Publications and preprints

Conference papers


Other activities, events and visits

I have been an external reviewer for: MFCS 2023, FSTTCS 2022, ICALP 2022.


I do a bit of teaching (in french) at UFR d'Informatique, Université Paris Cité. So far, I have taught exercise sessions (TD) and labs (TP) for the following courses: