Nombre de documents

3

Cirriculum Vitae


Pierre LUDMANN

Born on Avril 30th 1993 in Metz, France
Position
:
PhD Student
Contact:
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

 

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

 


Communication dans un congrès3 documents

  • 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. 2, pp.242 - 247, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 2, Short Papers. 〈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〉