Curriculum Vitae

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:

•   
•     Coq
•   
• 
•    Assembly language
•   

Hobbies

• ?‍? Cooking
• ⛰ Climbing
• ⛺️ Trekking