Sujets de recherche Logique, théorie de la démonstration et de la programmation, théorie de la modélisation et de la simulation.

Transcription

1 Luc Pellissier Né le 26 décembre 1991 à Annecy 5, passage du Marché Paris [email protected] lipn.fr/~pellissier Postes Paris 13 Stagiaire puis doctorant sous la direction de Damiano Mazza Roma 3 Stagiaire sous la direction de Lorenzo Tortora di Falco 2012 Diplômes Mathématiques Agrégation 2013 Informatique Master 2014 Philosophie Première année de Licence 2014 Langue et Littérature Italienne Option Internationale du Baccalauréat 2008 Langue Russe Diplôme d Initiation de l Inalco 2015 Sujets de recherche Logique, théorie de la démonstration et de la programmation, théorie de la modélisation et de la simulation. Publications Quatre publications dans des conférences avec comité de lecture. Enseignement Paris 13 Chargé de travaux dirigés et de travaux pratiques, en informatique Paris Sorbonne Chargé de travaux dirigés, en mathématiques pour un public de sociologues Lycée Buffon Interrogateur oral, en mathématiques Responsabilités Conseil du laboratoire Élu des non-permanents du LIPN Conseil du département Élu des non-permanents d informatique de l Institut Galilée Conseil scientifique Élu des élèves, étudiants et doctorants de l ENS Cachan Amateurisme de vin Trésorier et fondateur du club de l ENS Cachan Langues Français Italien Anglais Russe Maîtrise Maîtrise Survie

2 2015 Diplôme d initiation au Russe Institut National des Langues et Cultures Orientales Mention bien 2014 Master Parisien de Recherche en Informatique Université Paris 7 Denis Diderot, ENS, ENS Cachan et École Polytechnique Mention très bien, rang de 7 ème sur Agrégation Externe de Mathématiques Rang de 18 ème 2013 Master formation des enseignants de Mathématiques ENS Cachan Mention très bien 2011 Licence d Informatique Université Paris 7 Denis Diderot Mention assez bien 2011 Licence de Mathématiques Université Paris 7 Denis Diderot Mention assez bien 2008 Baccalauréat série Scientifique (S-SVT) Option Internationale section Italien Mention très bien 2008 Cambridge Certificate in Advanced English (CAE) Diplômes 2005 Lauréat départemental du Concours National de la Résistance et de la Déportation, 4 è catégorie, en Isère Doctorant sous la direction de Damiano Mazza Laboratoire d Informatique de Paris Nord Université Paris 13 Paris Nord, Université Sorbonne Paris Cité Vacataire à l Université Paris IV Sorbonne Khôlleur au lycée Buffon Élève à l École Normale Supérieure de Cachan, sections Mathématiques et Informatique. Postes

3 Publications Conférences avec comité de lecture (sur article) «A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear Logic» Damiano Mazza & Luc Pellissier 12 th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015) Cali, octobre 2015 Conférences avec comité de lecture (sur résumé) «Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion» Giulio Guerrieri, Luc Pellissier & Lorenzo Tortora di Falco 8th International Workshop for Computing with Terms and Graphs (TermGraph 2014) Vienne, 13 juillet 2014 «Injectivity of relational semantics with respect to MELL proof-nets and the Taylor expansion» Giulio Guerrieri, Luc Pellissier & Lorenzo Tortora di Falco 8th International Conference on Topology, Algebra and Categories in Logic (TACL 2015) Ischia, juin 2015 «Monetary Economics Simulation : Stock-Flow Consistent Invariance, Monadic Style» Pierre Boudes, Antoine Kaszczyc & Luc Pellissier 11 th Artificial Economics Conference (AE 2015) Porto, 3 4 septembre 2015 Présentations «Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion» Workshop TermGraph, le 13 juillet «Une autre formule explicite pour l exponentielle libre en logique linéaire» Groupe de travail Programmation & Logique du LIPN, le 24 octobre «Another explicit formula for the free exponential modality in linear logic» Groupe de travail Sémantique de PPS, le 13 janvier Stages & Invitations septembre 2014 Invité au Dipartimento di Matematica e Fisica, Università di Roma 3. mars-août 2014 Stagiaire au Laboratoire d Informatique de Paris-Nord, Université Paris 13 Paris Nord. Sous la direction de Damiano Mazza. avril-août 2012 Stagiaire au Dipartimento di Filosofia, Università di Roma 3. Sous la direction de Lorenzo Tortora de Falco. juin-juillet 2011 Stagiaire au Laboratoire d Informatique de Grenoble, Université de Grenoble 1 Joseph Fourier. Sous la direction de Simon Perdrix. février-mai 2011 Stagiaire au Centre des Mathématiques et de Leurs Applications, ENS Cachan Sous la direction de Corinne Vachier-Mammar.

4 Évènements octobre 2015 International Colloquium on Theoretical Aspects of Computing, Cali, Colombie. 3-4 septembre 2015 Artificial Economics 2015, Porto juin 2015 Oregon Programming Languages Summer School, Eugene, Oregon. 6-7 novembre 2014 Colloque Le calcul et le temps, organisé par Jean-Baptiste Joinet à l Université Jean Moulin Lyon 3. juillet 2014 Première semaine du Vienna Summer of Logic, principalement pendant les conférences LC, CSL- LICS et RTA-TCLA, ainsi que les workshops Termgraph, Linearity et Structures and Deduction. avril-juillet 2014 Trimestre thématique Sémantique des preuves et des programmes et formalisation des mathématiques à l Institut Henri Poincaré. avril 2014 École de printemps Sémantique des preuves et des programmes et formalisation des mathématiques de deux semaines, au Centre International de Rencontres Mathématiques de Luminy. mai 2012 Cours de 32 heures Temi di ricerca fra logica e filosofia de Jean-Yves Girard à l Università di Roma 3. Enseignements Travaux dirigés de calculabilité et décidabilité en troisième année de licence d informatique Institut Galilée, Université Paris 13 Paris Nord, pour 19 heures Travaux dirigés et travaux pratiques d éléments d informatique en premier année de licence Institut Galilée, Université Paris 13 Paris Nord, pour 48 heures Travaux dirigés de méthodes quantitatives en première année de licence de sociologie Université Paris IV Sorbonne, pour 24 heures Khôlles de mathématiques en MPSI au lycée Buffon, pour 60 heures. Au sein de l Université Paris 13 : Responsabilités Élu représentant des non-permanents au Conseil du LIPN Élu représentant des non-permanents au Conseil du département informatique de l Institut Galilée. Au sein de l ENS Cachan : Et : Élu représentant des élèves et étudiants au Conseil Scientifique Élu représentant des élèves et étudiants au Conseil Documentaire Élu à la Commission Hygiène et Sécurité Membre du groupe de travail sur le déménagement à Saclay Élu représentant du département informatique à la Commission de la Vie Interne (et suppléant en ) Délégué au conseil du département informatique.

5 Co-organisateur de la cinquième saison du groupe de travail logique de la rue d Ulm et d ailleurs ( Trésorier fondateur du club des amateurs de vin de l ENS Cachan ( Vice-président du Bureau des Élèves de l ENS Cachan. Français Langue maternelle. Langues Italien Parlé, lu, écrit couramment. Niveau sanctionné par l Option Internationale du Baccalauréat, niveau C2 (Maîtrise) dans le Cadre européen commun de référence pour les langues, édité par le Conseil de l Europe, passé en Anglais Parlé, lu, écrit. Niveau sanctionné par le Cambridge Certificate in Advanced English, niveau C1 (Autonome) dans le Cadre européen commun de référence pour les langues, édité par le Conseil de l Europe, passé en Russe Rudiments.