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.

Contact

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

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
with George Kenison, Mahsa Shirmohammadi, and James Worrell.
Accepted to appear in the proceedings of ISSAC 2023.
[ arxiv | doi ]

Multiplicity Problems on Algebraic Series and Context-Free Grammars
with Nikhil Balaji, Lorenzo Clemente, Mahsa Shirmohammadi, and James Worrell.
Accepted to appear in the proceedings of LICS 2023.
[ arxiv ]

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
April 2023 — Department of Computer Science and Engineering, IIT Delhi (Delhi, India)
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

September 2022 - September 2023 — Co-organiser of the Verification seminar at IRIF.
September 2022 - September 2023 — Co-organiser of the Non-permanent members' seminar at IRIF.
July 2023 — Co-organiser of Autobóz 2023.
July 2023 — Attended WORReLL'23, a Satellite Workshop at ICALP 2023, Paderborn, Germany.
June 2023 — Attended EPIT 2023 : Le Kaléidoscope de la Complexité, Ile d'Oléron, France.
April 2023 — 3-week visit to Nikhil Balaji at IIT Delhi.
October 2022 — Animated workshops at Fête de la Science, Université Paris Cité.
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: MFCS 2023, 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: