{"id":10,"date":"2015-06-15T10:23:49","date_gmt":"2015-06-15T08:23:49","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=10"},"modified":"2017-11-09T15:47:52","modified_gmt":"2017-11-09T13:47:52","slug":"cv","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/PLudmann\/cv\/","title":{"rendered":"Curriculum Vitae"},"content":{"rendered":"<p style=\"text-align: center\"><div style=\"text-align: left;vertical-align: middle;padding-bottom: 30px\">\n<div style=\"padding-right: 120px;padding-left: 30px;text-align: left;vertical-align: middle\">\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignright wp-image-186\" src=\"https:\/\/members.loria.fr\/PLudmann\/wp-content\/blogs.dir\/175\/files\/sites\/175\/2018\/08\/profil.jpeg\" alt=\"Me climbing at the Col de Sormiou\" width=\"159\" height=\"250\" \/><\/p>\n<h2 style=\"padding-left: 100px\">Pierre LUDMANN<\/h2>\n<p style=\"padding-left: 70px\">Born on Avril 30th 1993 in Metz, France<strong><br \/>\nPosition<\/strong>:<br \/>\nPhD Student<br \/>\nUniversit\u00e9 de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, France<br \/>\n<strong>Contact:<\/strong><br \/>\n<img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-65\" src=\"https:\/\/homepages.loria.fr\/IMG\/email.png\" alt=\"email\" width=\"14\" height=\"14\" \/> pierre dot ludmann at loria dot fr<br \/>\n<img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-64\" src=\"https:\/\/homepages.loria.fr\/IMG\/telephone.png\" alt=\"telephone\" width=\"14\" height=\"14\" \/> +33 (0)3 54 95 86 11<br \/>\n<img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-66 size-full\" src=\"https:\/\/homepages.loria.fr\/IMG\/pin.png\" alt=\"pin\" width=\"14\" height=\"14\" \/> Office B230<br \/>\nLORIA, Campus Scientifique,<br \/>\nF54506 Vand\u0153uvre-l\u00e8s-Nancy<\/p>\n<\/div>\n<\/div>\n<\/p>\n<h4 class=\"cv\">Education<\/h4>\n<h5><strong>Parisian Master of Research in Computer Science (MPRI)<\/strong>, ENS Cachan &#8211; Paris 7 &#8211; ENS Paris &#8211; X, 2016, <em>cum laude<\/em><\/h5>\n<ul>\n<li>M2 courses\n<ul>\n<li>Computational and logical structures for linguistic modelling<\/li>\n<li>Foundations of proof systems<\/li>\n<li>Finite automata modelling<\/li>\n<li>Proof assistants<\/li>\n<li>Linear logic and logical paradigms of computation<\/li>\n<li>Functional programming and type systems<\/li>\n<li>Models of programming languages: domains, categories, games<\/li>\n<li>Constraint programming<\/li>\n<li>Mathematical foundations of automata theory<\/li>\n<\/ul>\n<\/li>\n<li>M1 courses\n<ul>\n<li>Tree automata and applications<\/li>\n<li>Basics of verification<\/li>\n<li>\u03bb-calculi and domains<\/li>\n<li>Rewriting techniques<\/li>\n<li>Machine Learning<\/li>\n<li>Networks<\/li>\n<li>Probabilistic aspects of computer science<\/li>\n<li>Advanced complexity<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<h5><strong>Bachelor of Science in Computer Science<\/strong>, ENS Cachan, 2014, <em>cum laude<\/em><\/h5>\n<ul>\n<li>Programming ; compiler<\/li>\n<li>\u03bb-calculus et computer science logics<\/li>\n<li>Logics<\/li>\n<li>Computability and complexity<\/li>\n<li>Basics of cryptology<\/li>\n<li>Algorithmics ; advanced algorithmics<\/li>\n<li>Formal languages<\/li>\n<\/ul>\n<h5><strong>Bachelor of Science in Mathematics<\/strong>, ENS Cachan, 2014, <em>cum laude<br \/>\n<\/em><\/h5>\n<ul>\n<li>Algebra<\/li>\n<li>Differential calculus<\/li>\n<li>Integration<\/li>\n<li>Probability<\/li>\n<\/ul>\n<h5>2010-2013: <strong>Classe Pr\u00e9paratoire aux Grandes \u00c9coles<\/strong>, Prytan\u00e9e National Militaire, La Fl\u00e8che<\/h5>\n<ul>\n<li>Specific French classes to take and pass <em>Grandes \u00c9cole<\/em> competitive exams<\/li>\n<li>Mathematics and Physics majors, Computer Science minor (MPSI &#8211; MP* option Info)<\/li>\n<li>Passed the ENS Cachan entrance competitive exam, admitted there as a civil servant-intern in the Computer Science Department<\/li>\n<\/ul>\n<h5><strong>Baccalaur\u00e9at g\u00e9n\u00e9ral<\/strong>, Lyc\u00e9e Fabert, Metz, 2010, <em>cum laude<br \/>\n<\/em><\/h5>\n<ul>\n<li>Scientific stream<\/li>\n<li>Specialized in Mathematics<\/li>\n<\/ul>\n\n<p>&nbsp;<\/p>\n<h4 class=\"cv\">Experience<\/h4>\n<h5>2017-Present: <strong>PhD student<\/strong>, Loria &#8211; Inria Nancy Grand Est, France<\/h5>\n<ul>\n<li>Supervised by Philippe de Groote and Sylvain Pogodalla, in team S\u00e9magramme<\/li>\n<li>Dynamic Construction of Discourse Structures<\/li>\n<li>Teaching Assistant at the Mines Nancy<\/li>\n<\/ul>\n<h5><span class=\"s1\">2016-2017: <strong>Year Intern (ARPE)<\/strong>, Rijksuniversiteit Groningen, The Netherlands<br \/>\n<\/span><\/h5>\n<ul>\n<li><span class=\"s1\">Supervised by Johan Bos, in the CLCG<br \/>\n<\/span><\/li>\n<li><span class=\"s1\">Computational Semantics in a Multilingual Corpus<br \/>\n<\/span><\/li>\n<\/ul>\n<h5>2016: <strong>Semester Intern (M2)<\/strong>, Loria &#8211; Inria Nancy Grand Est, France<\/h5>\n<ul>\n<li>Supervised by Philippe de Groote and Sylvain Pogodalla, in team S\u00e9magramme<\/li>\n<li>Montague in Coq<\/li>\n<\/ul>\n<h5>2015: <strong>Semester Intern (M1)<\/strong>, TU Dresden, Germany<\/h5>\n<ul>\n<li>Supervised by Franz Baader<\/li>\n<li>The Exact Unification Types in Commutative Theories<\/li>\n<\/ul>\n<h5>2014: <strong>Summer Intern (L3)<\/strong>, Loria &#8211; Inria Nancy Grand Est, France<\/h5>\n<ul>\n<li>Supervised by Didier Galmiche and Dominique Larchey-Wendling, in team Types<\/li>\n<li>Axioms in the Logic of Bunch Implications<\/li>\n<\/ul>\n<h5>2014: <strong>Semester Intern (L3)<\/strong>, CMLA &#8211; ENS Cachan, France<\/h5>\n<ul>\n<li>Supervised by \u00c9mile Contal, Laurent Oudre, Nicolas Vayatis and Eva Wesfreid<\/li>\n<li>Functional Data Analysis Applied to Neurology<\/li>\n<\/ul>\n<h5>2012-2013: <strong>Treasurer<\/strong>, Taupe Brutionne, La Fl\u00e8che, France<\/h5>\n<ul>\n<li>The <em>Taupe Brutionne<\/em> is the oldest Alumni Association among French military high schools<\/li>\n<\/ul>\n\n<p>&nbsp;<\/p>\n<h4 class=\"cv\">Awards<\/h4>\n<h5><strong>Prix d&#8217;Honneur du Pr\u00e9sident de la R\u00e9publique<\/strong>, 2013<\/h5>\n<ul>\n<li>Award the valedictorian of the Prytan\u00e9e National Militaire<\/li>\n<\/ul>\n\n<p>&nbsp;<\/p>\n<h4 class=\"cv\">Soft Skills<\/h4>\n<h5>Natural Languages<\/h5>\n<ul>\n<li>?? French (mother-tongue)<\/li>\n<li>?? English (intermediate)<\/li>\n<li>?? Italian (basic)<\/li>\n<\/ul>\n<h5>Programming Languages<\/h5>\n<p>In decreasing order of use and mastery:<\/p>\n<ul>\n<li>\u00a0\u00a0 <a href=\"https:\/\/www.latex-project.org\/\" target=\"_blank\" rel=\"noopener\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-462\" src=\"https:\/\/members.loria.fr\/PLudmann\/wp-content\/blogs.dir\/175\/files\/sites\/175\/2017\/11\/200px-LaTeX_logo.svg_.png\" alt=\"\" width=\"39\" height=\"16\" \/><\/a><\/li>\n<li>\u00a0\u00a0\u00a0 <a href=\"https:\/\/coq.inria.fr\/\" target=\"_blank\" rel=\"noopener\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-457\" src=\"https:\/\/members.loria.fr\/PLudmann\/wp-content\/blogs.dir\/175\/files\/sites\/175\/2017\/11\/Coq_logo.png\" alt=\"\" width=\"14\" height=\"21\" \/><\/a> Coq<\/li>\n<li>\u00a0\u00a0 <a href=\"https:\/\/ocaml.org\/\" target=\"_blank\" rel=\"noopener\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-461\" src=\"https:\/\/members.loria.fr\/PLudmann\/wp-content\/blogs.dir\/175\/files\/sites\/175\/2017\/11\/OCaml_Logo.svg_.png\" alt=\"\" width=\"69\" height=\"19\" \/><\/a><\/li>\n<li><a href=\"https:\/\/www.python.org\/\" target=\"_blank\" rel=\"noopener\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-460\" src=\"https:\/\/members.loria.fr\/PLudmann\/wp-content\/blogs.dir\/175\/files\/sites\/175\/2017\/11\/python-logo-master-v3-TM.png\" alt=\"\" width=\"95\" height=\"32\" srcset=\"https:\/\/members.loria.fr\/PLudmann\/wp-content\/blogs.dir\/175\/files\/sites\/175\/2017\/11\/python-logo-master-v3-TM.png 601w, https:\/\/members.loria.fr\/PLudmann\/wp-content\/blogs.dir\/175\/files\/sites\/175\/2017\/11\/python-logo-master-v3-TM-300x101.png 300w\" sizes=\"auto, (max-width: 95px) 100vw, 95px\" \/><\/a><\/li>\n<li>\u00a0\u00a0 Assembly language<\/li>\n<li>\u00a0\u00a0 <img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-458\" src=\"https:\/\/members.loria.fr\/PLudmann\/wp-content\/blogs.dir\/175\/files\/sites\/175\/2017\/11\/The_C_Programming_Language_logo.svg_.png\" alt=\"\" width=\"28\" height=\"30\" \/><\/li>\n<\/ul>\n<h5>Hobbies<\/h5>\n<ul>\n<li>?\u200d? Cooking<\/li>\n<li>\u26f0 Climbing<\/li>\n<li>\u26fa\ufe0f Trekking<\/li>\n<\/ul>\n\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>&nbsp; &nbsp; &nbsp; &nbsp;<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-fullwidth.php","meta":{"footnotes":""},"class_list":["post-10","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/PLudmann\/wp-json\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/PLudmann\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/PLudmann\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/PLudmann\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/PLudmann\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":95,"href":"https:\/\/members.loria.fr\/PLudmann\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":240,"href":"https:\/\/members.loria.fr\/PLudmann\/wp-json\/wp\/v2\/pages\/10\/revisions\/240"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/PLudmann\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}