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.
Contact
office 4031 at IRIF, bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris
Publications and preprints
Preprints
- The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
- with George Kenison, Mahsa Shirmohammadi, and James Worrell.
- [ arxiv ]
Conference papers
- Identity Testing for Radical Expressions
- with Nikhil Balaji, Mahsa Shirmohammadi, and James Worrell.
- Proceedings of LICS 2022.
- [ arxiv | doi ]
- The Membership Problem for Hypergeometric Sequences with Rational Parameters
- with Amaury Pouly, Mahsa Shirmohammadi, and James Worrell.
- Proceedings of ISSAC 2022.
- [ arxiv | doi ]
- On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices
- with Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, and James Worrell.
- Proceedings of ISSAC 2022.
- [ arxiv | doi ]
Talks
- The Membership Problem for Hypergeometric Sequences with Rational Parameters
- March 2023 - Séminaire Combinatoire et Théorie des Nombres ICJ, Université de Lyon 1 (Lyon, France)
- December 2022 - CyPhAI meeting (online)
- November 2022 - Séminaire différentiel (Versailles, France)
- October 2022 - Journée ASV 2022, IRIF
- September 2022 - AriC seminar, LIP, ENS Lyon (Lyon, France)
- July 2022 - ISSAC 2022 (Lille, France)
- June 2022 - Highlights of Logics, Games and Automata 2022 (Paris, France)
- June 2022 - MOVEP 2022 (student session) (Aalborg, Denmark)
- May 2022 - Verification seminar, IRIF
Other activities, events and visits
I have been an external reviewer for: FSTTCS 2022, ICALP 2022.
Teaching
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