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

• Identity Testing for Radical Expressions
• February 2023 - Non-permanent members' seminar, IRIF
• August 2022 - LICS 2022 (Haifa, Israel)
• November 2021 - Journée ASV 2021, IRIF

• 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

• On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices
• February 2022 - Automata seminar, IRIF
• February 2022 - PhD seminar, IRIF
• September 2021 - Highlights of Logics, Games and Automata 2021 (online)
• May 2021 - MOVES Seminar, RWTH Aachen (online)

Other activities, events and visits

• July 2023 - Co-organiser of Autobóz 2023.
• April 2023 - 3-week visit to Nikhil Balaji at IIT Delhi.
• October 2022 - Animated workshops at Fête de la Science, Université Paris Cité.
• As of September 2022 - Co-organiser of the Verification seminar at IRIF.
• As of September 2022 - Co-organiser of the Non-permanent members' seminar at IRIF.
• September 2022 - 2-day visit to Bruno Salvy at LIP, ENS Lyon.
• July 2022 - 2-week visit to James Worrell at the University of Oxford.
• July 2022 - Student volunteer at ICALP 2022, Paris, France.
• June 2022 - Student volunteer at Highlights of Logics, Games and Automata 2022, Paris, France.
• June 2022 - Attended MOVEP 2022, Aalborg, Denmark.
• March 2022 - 10-day visit to James Worrell at the University of Oxford.

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

• Automates et Analyse Lexicale - TD & TP - L2
• Concepts Informatiques - TD - L1

2021/2022

• Initiation à la Programmation (Java) - TP - L1
• Conduite de Projet - TP - L2
• Internet et Outils - TP - L1