EuropassCurriculum Vitae

Personal information

Surname(s) / First name(s) Lehéricy, GabrielAddress(es) Appartement 286, Maison du Cambodge, CIUP, 27 B boulevard Jourdan, 75014 Paris,

France

Telephone(s) +33783767951

Email(s) gabriel.lehericy@devinci.fr

Nationality(-ies) French

Date of birth 24.02.1989

Pages web www.math.uni-konstanz.de/~lehericy/

Education

2007-2008 Preparatory class “MPSI” (Mathematics, Physics, and engineering science)Lycée Louis-le-Grand, Paris

2008-2009 2nd-year Bachelor in PhysicsUniversité Paris 7

2009-2011 Bachelor in MathematicsUniversité Paris 6

2011-2012 1st-year master of MathematicsTechnische Universität Berlin (Erasmus)

2012-2013 Master “LMFI” (Mathematical Logic and Foundations of Computer Science)Université Paris 7

2013-2014 Preparation to “Agrégation”Université Paris 6

2014-2018 Transnational PhD between the university of Constance (Germany) and universityParis 7 (France)under joint supervision of Salma Kuhlmann (in Constance) and Françoise Point (inParis)Title of the Thesis: “Quasi-orders, C-groups, and the differential rank of a differential-valued field”

Positions

October 2014-August 2017 “Wissenschaftlicher Mitarbeiter” (research assistant) at the University of ConstanceSeptember 2017-August 2018 ATER (teaching assistant) at the university Paris 7

Since Novembre 2018 post-doc at l’ESILV (École supérieure d’ingénieurs Léonard de Vinci) to work on the“Moneytrack” project about cryptocurrencies

Page 1 / 5 - Curriculum vitæ ofLehéricy, Gabriel

Teaching Experience

At the university of Constance(2015-2017)

Exercise classes for the course “Real algebraic geometry II”Topic: valued fields and ordered groupsLevel: masterLanguage: English

Exercise classes for the course “algebra”Topic: groups, rings, fields and Galois theoryLevel: 2nd yearLanguage: German

Preparation of exercise sheets and of exam paper for the course“Linear algebra II”Topic: quadratic forms, matrix reduction, euclidien spacesLevel: 2nd yearLanguage: German

Administrative organisation and preparation of exercise sheets for the course“algebra”Topic: groups, rings, fields and Galois theoryLevel: 2nd yearLanguage: German

Exercise classes for the course “mathematical logic”Topic: propositional calculus, first-order logic, proof by the resolution and the tableaumethodLevel: bachelorLanguage: German

I also substituted for Salma Kuhlmann during three of her lectures (one in realalgebraic geometry and two in Galois theory), and also substituted for Merlin Carl inone of his lectures (Mathematical logic).

At university Paris 7(2017-2018)

Course “Elementary analysis and algebra”Topic: linear systems, vector spaces, study of real sequencesLevel: 1st-yearLanguage: French

Preparation to “CAPES”Level: masterLanguage: French

At ESILV (2018-2019) Exercise classes for the course “Sequences and functions”Level: 1st-yearLanguage: French

Exercise classes for the course “numerical series, sequences and series offunctions”Level: 2nd-yearLanguage: French

Research topics Real algebraic geometry, ordered algebraic structures, valued fields and groups, C-groups, asymptotic differential algebra, transseries, model theory.Cryptocurrencies.

Page 2 / 5 - Curriculum vitæ ofLehéricy, Gabriel

Publications

Peer-reviewed S. Kuhlmann, G. Lehéricy, A Baer-Krull theorem for quasi-ordered groups,Order, Volume 35, pages 283-291, ISSN 1572-9273, 2018

S. Kuhlmann, G. Lehéricy, The differential rank of a differential-valued field,Mathematische Zeitschrift, ISSN 1432-1823, 2018

G. Lehéricy, A structure theorem for abelian quasi-ordered groups,Journal of Pure and Applied Algebra, Volume 223, pages 3238 - 3261, 2019

G. Lehéricy, On the structure of groups endowed with a compatible C-relation,Journal of Symbolic Logic, Volume 83, pages 939–966, 2018

Submitted L.S. Krapp, S. Kuhlmann, G. Lehéricy, Strongly NIP almost real closed fields,submitted to Journal of Symbolic Logic

L.S Krapp, S. Kuhlmann, G. Lehéricy, Ordered fields dense in their real closureand definable convex valuations, submitted to Journal of Symbolic Logic

Conference Publications G. Lehéricy, Using asymptotic couples to define derivations on fields of generalizedpower series,Oberwolfach reports, volume 13, issue 4, 2016

Preprints: L.S. Krapp, S. Kuhlmann, G. Lehéricy, On Strongly NIP Ordered Fields and DefinableConvex Valuationsarxiv number: 1810.10377, 2019

PhD Thesis: Quasi-orders, C-groups, and the differential rank of a differential-valued field

Seminar Talks

November 2014 Model-theoretic approach to a Galois theory for fields endowed with an operatorseminar “Model theory”Universität Konstanz

November 2015 Total quasi-orders and C-structures on abelian groupsseminar “Model theory”Universität Konstanz

May 2016 Classification of abelian C-groups using quasi-ordersseminar “Groups and model theory”Université Paris 7

November 2016 A Baer-Krull theorem for quasi-ordered groupsseminar “Real Algebraic geometry”Universität Konstanz

January 2018 Hardy-type derivations on fields of generalized power seriesseminar “Ordered algebraic structures”Université Paris 7

January 2018 Hardy-type derivations on fields of generalized power seriesseminar “Geometry”University of Bordeaux

June 2018 Quasi-orders as a uniform approach to orders and valuationsseminar of pure mathematicsHHU Düsseldorf

June 2018 Using quasi-orders to describe C-groupsseminar “Model theory”HHU Düsseldorf

Page 3 / 5 - Curriculum vitæ ofLehéricy, Gabriel

Contributions toscientific events

October 2015 Poster: Totally quasi-ordered abelian groupsConference “Ordered algebraic structures and their interactions”, CIRM, Luminy

March 2016 Talk: C-structures and quasi-orders on abelian groups“Joint annual Meeting of DMV and GAMM, Section 25: Algebra, logic and set theory”,Technische Universität Braunschweig

May 2016 Talk: C-structures and quasi-orders on abelian groups“Model theory month in Münster: Conference”, Universität Münster

December 2016 Talk: Using asymptotic couples to define derivations on fields of generalized powerseries“Mini-Workshop: Surreal numbers, Surreal analysis, Hahn fields and derivations”,Mathematisches Forschungsinstitut Oberwolfach

March 2018 Poster: Classification of C-minimal groupsConference “Model theory of valued fields”, Institut Henri Poincaré, Paris

March 2018 Poster: Hardy-type derivations on fields of power seriesConference “Model theory and applications”, Institut Henri Poincaré, Paris

July 2018 Talk: The differential rank of a differential-valued fieldConference: “Donau-Rhein Modelltheorie und Anwendungen”, Universität Basel

July 2018 Talk: Classification of C-minimal groups using quasi-ordersLogic Colloquium, Università degli Studi di Udine

January 2019 Talk: On the structure of C-minimal groupsWorkshop on NIP and groups, University of Leeds

Attended events

January 2015 British postgraduate model theory conferenceUniversity of Oxford

April 2015 Model theory, partial differential equations and applicationsCIRM, Luminy

June 2015 Workshop: o-minimality and applicationsUniversität Konstanz

September 2015 Mini-symposium: well-quasi-orders, from theory to applicationsDMV-annual meeting 2015, Hamburg

October 2015 Ordered algebraic structures and their interactionsCIRM, Luminy.

March 2016 Joint annual Meeting of DMV and GAMM, Section 25: “Algebra, logic and set theory”Technische Universität Braunschweig

April-May 2016 Model theory month in MünsterUniversität Münster

June 2016 Model theory and fields : derivations, orders and valuations. Colloquium in honor ofFrançoise Delon.Université Paris 7

July 2016 Summer school in tame geometryUniversität Konstanz

December 2016 Mini-Workshop: Surreal numbers, Surreal analysis, Hahn fields and derivationsMathematisches Forschungsinstitut Oberwolfach.

January 2018 Research School Model Theory, Combinatorics and Valued FieldsCIRM, Luminy

January-March 2018 Trimester: Model Theory, Combinatorics and Valued fields, A trimester at the InstitutHenri PoincaréIHP, Paris

July 2018 Summer school FoPSS “Logic and Learning”University of Oxford

July 2018 Donau-Rhein Modelltheorie und AnwendungenUniversität Basel

Page 4 / 5 - Curriculum vitæ ofLehéricy, Gabriel

July 2018 Logic ColloquiumUniversità degli Studi di Udine

September 2018 Workshop: From permutation groups to model theoryICMS, Edinburgh

October 2018 Conference “Real Algebraic Geometry and Model Theory”Universität Konstanz

January 2019 Workshop on NIP and groupsUniversity of Leeds

Organised events

March 2017 “Block seminar on Jordan groups”Universität Konstanzwww.math.uni-konstanz.de/~lehericy/Blockseminar.html

October 2018 Conférence “Real Algebraic Geometry and Model Theory”Universität Konstanzhttp://www.math.uni-konstanz.de/~krapp/RAGMT/index.html

Research stays

October-November 2018 Stay with Shay Cohen to work on machine learningUniversity of Edinburgh, school of informatics

Personal skills

Mother tongue(s) FrenchFluently spoken English (C2)

German (C2)Other languages Mandarin (B1)

Polish (B1)Russian (B1)

Computer skills Latex, sagemath, programming in C and python

Page 5 / 5 - Curriculum vitæ ofLehéricy, Gabriel