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, and a 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


Other activities


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:

2022/2023 2021/2022