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
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
|
Quantification Annotation in ISO 24617-12, Second DraftProceedings of the 13th Language Resources and Evaluation Conference (LREC 2022), Jun 2022, Marseille, France. pp.3407--3416
Communication dans un congrès
hal-03724057v1
|
|
The Annotators Did Not Agree on Some of the Guidelines ExamplesISA 2021 - 17th Workshop on Interoperable Semantic Annotation, Jun 2021, Groningen/Virtuel, Netherlands
Communication dans un congrès
hal-03298940v1
|