I am a PhD student in the LIP (Laboratoire de l'Informatique et du Parallélisme)
at ENS de Lyon,
in the team Pascaline
(formerly AriC).
I am supervised by
Alin Bostan,
Bruno Salvy, and
Gilles Villard.
My research interests lie in computer algebra, particularly algorithms
for linear differential equations and recurrences.
Publications
-
A unified approach for degree bound estimates of linear differential operators,
Louis Gaillard, 2025, Proc. ISSAC 2025, Guanajuato, Mexico [doi] [hal] [slides] -
Solving parameter-dependent semi-algebraic systems,
Louis Gaillard and Mohab Safey El Din, 2024, Proc. ISSAC 2024, Raleigh (NC), USA [doi] [hal] [slides] -
On the order of power series and the sum of square roots problem,
Louis Gaillard and Gorav Jindal, 2023, Proc. ISSAC 2023, Tromsø, Norway [doi] [arXiv]
Teaching
CS Tutorials 24/25 & 25/26 M1
Tutorials 25/26
- TD1 (15/9): [Exercises] [Correction]
- TD2 (22/9): [Exercises] [Correction]
- TD3 (29/9): [Exercises] [Correction]
- TD4 (6/10): [Exercises] [Correction]
- TD5 (13/10): [Exercises] [Correction]
- TD6 (20/10): [Exercises] [Correction]
- TD7 (10/11): [Exercises] [Correction]
- TD8 (17/11): [Exercises] [Correction]
- TD9 (24/11): [Exercises] [Correction]
Some References:
- A Graduate Crypto Course in Applied Cryptography, by Dan Boneh and Victor Shoup
- Introduction to Modern Cryptography, by Jonathan Katz and Yehuda Lindell
- A Course in Cryptography, by Abhi Shelat and Rafael Pass
- Foundations of Cryptography, Volume 1 and 2, by Oded Goldreich