About me

I am a Ph.D. student at the department of computer science, NUMA group at KU Leuven, under the supervision of professor Fatemeh Mohammadi.

I am interested in tropical geometry, graph theory, discrete mathematics and computational algebraic geometry.

Here is a copy of my CV.

Talks

Beyond Affine Loops: A Geometric Approach to Program Synthesis - SOAP 2025- 16 June, 2025
Generating loop invariants - RAGA 2025 - 27 May, 2025
Algebraic tools for computing polynomial loop invariants - NUMA seminar - 22 May, 2025
Algebraic geometry tools for generating polynomial invariants - JNCF 2025 - 11 March, 2025
Algebraic tools for computing polynomial loop invariants - Mathematics 2025 - 18 April, 2025
Generating polynomial invariants for loops- the Reading seminar on applied algebraic geometry - 6 March, 2025
Algebraic tools for computing polynomial loop invariants - ISSAC 2024 - 19 July, 2024
Real root counting - Algorithms in Algebraic Geometry - 22 April, 2024
Introduction to Gröbner bases - Algorithms in Algebraic Geometry - 26 February, 2024
A stratified polyhedral homotopy method - Solving Polynomial Systems Reading Seminar - 8 June, 2023
Equations on secant varieties Part 1 - Tensor seminar - 28 March. 2023
Quadratization and Convexification in polynomial binary optimization - Solving Polynomial Systems Reading Seminar- 23 February. 2023

Teaching assistant: KU Leuven: Complex Analysis and Applications, Prof. Dr. Fatemeh Mohammadi
Teaching assistant: KU Leuven: Numerical Nonlinear Algebra, Prof. Dr. Fatemeh Mohammadi

Algebraic Tools for Computing Polynomial Loop Invariants with Fatemeh Mohammadi and Rémi Prébet, Implementation- Proceedings of ISSAC (2024)
Algebraic Tools for Computing Polynomial Loop Invariants(Extended version) with Fatemeh Mohammadi and Rémi Prébet, Implementation - Arxiv
Beyond Affine Loops: A Geometric Approach to Program Synthesis with Fatemeh Mohammadi and Rémi Prébet, Implementation - SOAP 2025
From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry with Fatemeh Mohammadi and Rémi Prébet, Implementation - Arxiv

Workshops/Conferences:

May 2025: RAGA 2025 in Eindhoven, the Netherlands
March 2025: JNCF 2025 in Marseille, France
July 2024: ISSAC 2024 in Raleigh, NC, USA
June 2024: RAGA 2024 in Eindhoven, Netherlands
January 2024: "NUMA Research Day" in Leuven, Belgium.
October 2023: "Geometry of Polynomial System Solving, Optimization and Topology" at IHP, Paris, France.
April 2023: “Solving hard polynomial systems” conference in MPI, Leipzig, Germany.
October 2023: “Chow Lectures 2023” conference in MPI, Leipzig , Germany.
May 2023: Dutch-Belgian seminar in discrete mathematics at the Vrije Universiteit Brussel.

Reading seminars:

Poster presentations:

January 2024: Polynomial invariant generation for loops : "NUMA Research Day" , Belgium
October 2023: Generating polynomial invariants for loops : “Chow Lectures 2023” conference in MPI, Leipzig , Germany.

Page updated

Google Sites

Report abuse