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.
Profile: Google Scholar
Here is a copy of my CV.
Email: eegiibayarmagnai@yahoo.com
Talks
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
Teaching assistant: KU Leuven: Complex Analysis and Applications, Prof. Dr. Fatemeh Mohammadi
Teaching assistant: KU Leuven: Numerical Nonlinear Algebra, Prof. Dr. Fatemeh Mohammadi
Organization
February 2024 - June 2024: Reading seminar on Algorithms in Algebraic Geometry
Education
ICTP Postgraduate Diploma
Master Degree in Mathematics, National University of Mongolia
Bachelor Degree in Mathematics, National University of Mongolia
Research
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
Honors and Awards
2024 Travel grant from ISSAC 2024
2022 The best diploma student award of ICTP diploma programme
2015 Bronze Medal, 56th International Mathematics Olympiad
2019 First Place, Mongolian National Undergraduate Mathematics olympiad
2018 First Place, Mongolian National Undergraduate Mathematics olympiad
2017 First Place, Mongolian National Undergraduate Mathematics olympiad
2016 First Place, Mongolian National Undergraduate Mathematics olympiad
2015 Gold Medal, Mongolian National Mathematics Olympiad
2012 Silver Medal, Mongolian National Mathematics Olympiad
2013 Silver Medal, Mongolian National Mathematics Olympiad
2014 Silver Medal, Mongolian National Mathematics Olympiad
Activities
Workshops/Conferences:
July 2024: ISSAC 2024 in Raleigh, NC, USA
June 2024: Workshop on Real-world Applications of Geometry and Algebra 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:
February 2024: Algorithms in algebraic geometry.
February 2024: Matroids and Applications.
January 2023: Tensor seminar.
January 2023: Solving polynomial systems .
January 2023: NUMA seminar.
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.