Klara Nosan

I am a final-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 research interests lie in the fields of algebraic computational complexity, symbolic computation, and formal verification.


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

See my DBLP page for a complete list.


Other activities, events and visits

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


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