Accéder directement au contenu

Pierre Ludmann

2
Documents

Présentation

Pierre LUDMANN -------------- Born on Avril 30th 1993 in Metz, France **Position**: PhD Student **Contact:** ![email](https://homepages.loria.fr/IMG/email.png) pierre dot ludmann at loria dot fr ![telephone](https://homepages.loria.fr/IMG/telephone.png) +33 (0)3 54 95 86 11 ![pin](https://homepages.loria.fr/IMG/pin.png) Office C300 LORIA, Campus Scientifique, F54506 Vandœuvre lès Nancy #### Education ##### **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 #### Experience ##### 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 #### Awards ##### **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 ##### Hobbies - Cooking - Climbing - Trekking

Publications

chuyuan-li
Image document

Quantification Annotation in ISO 24617-12, Second Draft

Harry Bunt , Maxime Amblard , Johan Bos , Karën Fort , Philippe de Groote
Proceedings of the 13th Language Resources and Evaluation Conference (LREC 2022), Jun 2022, Marseille, France. pp.3407--3416
Communication dans un congrès hal-03724057v1
Image document

The Annotators Did Not Agree on Some of the Guidelines Examples

Maxime Amblard , Karën Fort , Bruno Guillaume , Philippe de Groote , Chuyuan Li
ISA 2021 - 17th Workshop on Interoperable Semantic Annotation, Jun 2021, Groningen/Virtuel, Netherlands
Communication dans un congrès hal-03298940v1