Curriculum Vitae

Me climbing at the Col de Sormiou


Born on Avril 30th 1993 in Metz, France
PhD Student
Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, France
email pierre dot ludmann at loria dot fr
telephone +33 (0)3 54 95 86 11
pin Office B230
LORIA, Campus Scientifique,
F54506 Vandœuvre-lès-Nancy


Parisian Master of Research in Computer Science (MPRI), ENS Cachan – Paris 7 – ENS Paris – X, 2016, cum laude
  • M2 courses
    • Computational and logical structures for linguistic modelling
    • Foundations of proof systems
    • Finite automata modelling
    • Proof assistants
    • Linear logic and logical paradigms of computation
    • Functional programming and type systems
    • Models of programming languages: domains, categories, games
    • Constraint programming
    • Mathematical foundations of automata theory
  • M1 courses
    • Tree automata and applications
    • Basics of verification
    • λ-calculi and domains
    • Rewriting techniques
    • Machine Learning
    • Networks
    • Probabilistic aspects of computer science
    • Advanced complexity
Bachelor of Science in Computer Science, ENS Cachan, 2014, cum laude
  • Programming ; compiler
  • λ-calculus et computer science logics
  • Logics
  • Computability and complexity
  • Basics of cryptology
  • Algorithmics ; advanced algorithmics
  • Formal languages
Bachelor of Science in Mathematics, ENS Cachan, 2014, cum laude
  • Algebra
  • Differential calculus
  • Integration
  • Probability
2010-2013: Classe Préparatoire aux Grandes Écoles, Prytanée National Militaire, La Flèche
  • Specific French classes to take and pass Grandes École competitive exams
  • Mathematics and Physics majors, Computer Science minor (MPSI – MP* option Info)
  • Passed the ENS Cachan entrance competitive exam, admitted there as a civil servant-intern in the Computer Science Department
Baccalauréat général, Lycée Fabert, Metz, 2010, cum laude
  • Scientific stream
  • Specialized in Mathematics



2017-Present: PhD student, Loria – Inria Nancy Grand Est, France
  • Supervised by Philippe de Groote and Sylvain Pogodalla, in team Sémagramme
  • Dynamic Construction of Discourse Structures
  • Teaching Assistant at the Mines Nancy
2016-2017: Year Intern (ARPE), Rijksuniversiteit Groningen, The Netherlands
  • Supervised by Johan Bos, in the CLCG
  • Computational Semantics in a Multilingual Corpus
2016: Semester Intern (M2), Loria – Inria Nancy Grand Est, France
  • Supervised by Philippe de Groote and Sylvain Pogodalla, in team Sémagramme
  • Montague in Coq
2015: Semester Intern (M1), TU Dresden, Germany
  • Supervised by Franz Baader
  • The Exact Unification Types in Commutative Theories
2014: Summer Intern (L3), Loria – Inria Nancy Grand Est, France
  • Supervised by Didier Galmiche and Dominique Larchey-Wendling, in team Types
  • Axioms in the Logic of Bunch Implications
2014: Semester Intern (L3), CMLA – ENS Cachan, France
  • Supervised by Émile Contal, Laurent Oudre, Nicolas Vayatis and Eva Wesfreid
  • Functional Data Analysis Applied to Neurology
2012-2013: Treasurer, Taupe Brutionne, La Flèche, France
  • The Taupe Brutionne is the oldest Alumni Association among French military high schools



Prix d’Honneur du Président de la République, 2013
  • Award the valedictorian of the Prytanée National Militaire


Soft Skills

Natural Languages
  • ?? French (mother-tongue)
  • ?? English (intermediate)
  • ?? Italian (basic)
Programming Languages

In decreasing order of use and mastery:

  •     Coq
  •    Assembly language
  • ?‍? Cooking
  • ⛰ Climbing
  • ⛺️ Trekking