Skip to Main content
Number of documents


Cirriculum Vitae


Born on Avril 30th 1993 in Metz, France
PhD Student
email pierre dot ludmann at loria dot fr
telephone +33 (0)3 54 95 86 11
pin Office C300
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:


  •    LATEX
  •    Coq
  •    OCaml
  •    Python
  •    Assembly language
  •    C




  • Cooking
  • Climbing
  • Trekking


Conference papers6 documents

  • Pierre Ludmann, Sylvain Pogodalla, Philippe de Groote. Multityped Abstract Categorial Grammars and Their Composition. WoLLIC 2022 - 28th International Workshop on Logic, Language, Information, and Computation, Sep 2022, Iaşi, Romania. pp.105-122, ⟨10.1007/978-3-031-15298-6_7⟩. ⟨hal-03781596⟩
  • Harry Bunt, Maxime Amblard, Johan Bos, Karën Fort, Philippe de Groote, et al.. Quantification Annotation in ISO 24617-12, Second Draft. Proceedings of the 13th Language Resources and Evaluation Conference (LREC 2022), Jun 2022, Marseille, France. pp.3407--3416. ⟨hal-03724057⟩
  • Maxime Amblard, Karën Fort, Bruno Guillaume, Philippe de Groote, Chuyuan Li, et al.. The Annotators Did Not Agree on Some of the Guidelines Examples. ISA 2021 - 17th Workshop on Interoperable Semantic Annotation, Jun 2021, Groningen/Virtuel, Netherlands. ⟨hal-03298940⟩
  • Lasha Abzianidze, Johannes Bjerva, Kilian Evang, Hessel Haagsma, Rik van Noord, et al.. The Parallel Meaning Bank: Towards a Multilingual Corpus of Translations Annotated with Compositional Meaning Representations. 15th Conference of the European Chapter of the Association for Computational Linguistics, Apr 2017, Valencia, Spain. pp.242 - 247. ⟨hal-01630960⟩
  • Franz Baader, Pierre Ludmann. The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. 30th International Workshop on Unification, Jun 2016, Porto, Portugal. ⟨hal-01630954⟩
  • Franz Baader, Pierre Ludmann. The Exact Unification Type of Commutative Theories. 29th International Workshop on Unification, Jun 2015, Warsaw, Poland. ⟨hal-01630956⟩