Klara Nosan

I completed my PhD 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).

My thesis, entitled Zero problems in polynomial models, studied the complexity and decidability of computational problems involving polynomials. For more details, see here.

More generally, the research done within my PhD belongs to the fields of algebraic computational complexity, symbolic computation, and formal verification.

Publications

Conference papers

• A parametric version of the Hilbert Nullstellensatz
• with Rida Ait El Manssour, Nikhil Balaji, Mahsa Shirmohammadi, and James Worrell.
• Proceedings of SOSA 2025.
• [ arxiv | doi ]

• The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
• with George Kenison, Mahsa Shirmohammadi, and James Worrell.
• 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.
• Proceedings of LICS 2023.
• [ arxiv | doi ]

• 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 ]

See my DBLP page for a complete list.