Rémi Prébet   Github: Email: first.lastname@kuleuven.be

Publications    Organization   Communications   Teaching

Post-doctoral researcher at KU Leuven, PhD in computer sciences from Sorbonne Université,
Former student of École Normale Supérieure Paris-Saclay

Curriculum Vitæ

English   French

World tour hitchhiking (2018/2019)

Learn more

First internship (Master 1) at LISTIC (2017)

Under the supervision of Yajing Yan.

Report   Slides

Second internship (Master 2) at Lip6 (2020)

Under the supervision of Mohab Safey El Din.

Thesis   Slides

Publications

Submitted in Peer-reviewed international Journal

Published in Peer-reviewed international Journals

Published in the proceedings of peer-reviewed international conferences

Thesis

  • Connectivity in real algebraic sets: algorithms and applications
    R. Prébet, LIP6 - Sorbonne Université, defended on 20/12/2023
    [pdf]

Organization

Communications

Next:

  • Algebraic Tools for Computing Polynomial Loop Invariants
    ISSAC 2024, Raleigh, NC, USA, 16-19/07/2024

Pasts:

2024

2023

2022

2021

  • Towards faster roadmap algorithms for smooth and unbounded real algebraic sets
    Journées Nationales de Calcul Formel 2021, CIRM, Luminy, France (online), 02/03/2021
    [slides]

  • On the computation of roadmap of smooth unbounded semi-algebraic sets
    ECARP international project meetings (online), 16/02/2021

2020

  • Towards faster roadmap algorithms for smooth and unbounded real algebraic sets
    Joint internal Working Group of PolSys-Specfun teams, 06/11/2020

Teaching

At KU Leuven, Belgium (2024-)

  • Linear Algebra & Analysis, Bachelor (12h-TD)

At Sorbonne Université, Paris (2020-2023)

2022-2023

  • Introduction to Cryptography, Master (20h-TD, 20h-TP)
  • Introduction to Algebraic Algorithms, Master (2h-CM)

2021-2022

  • Data Structures, Bachelor (19.5h-TD, 19.5h-TP)
  • Numerical Representation and Methods, Bachelor (13.5h-TD, 13.5h-TP)

2020-2021

  • Introduction to Programming II (with C language), Bachelor (38.5h-TD)
  • Numerical Representation and Methods, Bachelor (13.5h-TD, 13.5h-TP)

At Classe Préparatoire du Lycée Blaise Pascal, Orsay (2016-2017)

  • Introduction to Programming (with Python), PC* (6h-CM, 12h-TD, 24h-TP)
HTML5 UP