Richard Leroy

Richard Leroy
@
m
Curriculum Vitæ
[email protected]
http ://leroy.cpge.free.fr
Professeur agrégé de Mathématiques et Informatique (IPT) en PCSI
Lycée Déodat de Séverac, Toulouse
Formation
Participation à des jurys
2004 - 2007
Allocataire moniteur à l’université de Rennes 1 (irmar)
Géométrie algébrique réelle, Calcul formel et Complexité
Prédoc à l’université de Konstanz (Allemagne - 1 an)
Thèse (mention très honorable) :
Certificats de positivité et minimisation dans la
base de Bernstein multivariée
......................................................
2003 - 2004
DEA Algèbre et Géométrie (Rennes 1) (mention TB)
......................................................
Agrégation de Mathématiques, reçu 109ème
ENS Cachan Antenne de Bretagne
2002 - 2003
Enseignement
Depuis 2012
Professeur en PCSI (Lycée Déodat de Séverac, Toulouse)
Mathématiques & Informatique Pour Tous : cours & TP
Interrogations orales en PCSI, PC, PSI*, PT* (Lycée Déodat)
Interrogations orales en BCPST 1 & 2, ECS 2* (Lycée Fermat)
................................................................
2009 – 2012
TZR CPGE (Saint Nazaire, Toulouse)
Remplacements (1 an) en BCPST 1 (Toulouse)
Remplacement (5 mois) en ECE 1 (Toulouse)
Remplacements en PCSI ; TP Maple en TSI (St Nazaire)
Interrogations orales en ECE 1 & 2, ECS 2, PCSI, TSI, BCPST 1 & 2
................................................................
2007 – 2010
Responsable de la préparation à l’agrégation, option C
ENS Cachan, antenne de Bretagne & Université Rennes 1
Cours, travaux pratiques (Maple), oraux blancs (textes, jury)
Encadrement de leçons d’algèbre
................................................................
2007 – 2009
Depuis 2015
Agrégation externe de Mathématiques
...............................................
2013 - 2014
CAPES de Mathématiques
...............................................
ENAC / ICNA - Informatique
Publications de recherche
Articles
• A bound on the minimum of a real positive
polynomial over the standard simplex
(mega 09 Effective Methods in Algebraic Geometry)
• Une borne effective sur l’écart entre le polytope
de contrôle et le graphe d’un polynôme réel sur
un simplexe
(CRAS - Mathématique 347 (2009), pp. 1331-1336)
• Explicit convergence under subdivision, and the
complexity of polynomial minimization
(Reliable Computing, Volume 17 (2012), pp. 11-21)
• Certificates of positivity in the simplicial
Bernstein basis (soumis)
...............................................
• Certificats de positivité dans SARAG
Bibliothèque incluse dans Maxima
Logiciels
Recension
• Journal of Symbolic Computation
Journaux
• Circuits, Systems and Signal Processing Journal
• Mediterranean Journal of Mathematics
ATER à̀ l’Université Européenne de Bretagne
• Reliable Computing Journal
Livre
Informatique
Mathématiques BCPST 1 - Méthodes et exercices
(avec A. Bégyn et G. Connan, Éditions Dunod)
Depuis 2014
Systèmes
Langages
Mac OS X, Linux, Windows
Maple, Turbo Pascal, Scilab, Python