Sur moi

Je suis chercheur postdoctoral au LIPN ( équipe LCR ) depuis le 1er octobre. Voir l'onglet « Postdoc ALAL » pour plus de détails

Doctorat ➯ J'ai soutenu ma thèse intitulé Du typage vectoriel, le 23 septembre 2011 dans l'Université de Grenoble. J'ai préparé cette thèse au sein du équipe CAPP du Laboratoire d'Informatique de Grenoble, et il a été dirigée par Pablo Arrighi et codirigée par Frédéric Prost. Vous pouvez télécharger le manuscrit ainsi comme les slides que j'ai utilisé pour la soutenance et même voir un vidéo dans la section « Publications »

Master ➯ Avant de venir à Grenoble, j'ai obtenu le titre de « Licenciado » en Informatique ( le 21 décembre 2007 ) à l'Universidad Nacional de Rosario, en Argentine. Il s'agit d'un diplôme en cinq ans avec un rapport de thèse, l'équivalent d'un diplôme de master 2 dans le système de l'UE.

Appartenances ➯ Je fais partie du GdR Informatique Mathématique et des ses groupes de travail GEOCAL ( Géométrie du calcul ) et IQ ( Informatique quantique ). Je participe aussi au projet PEPS QuAND ( Aspects quantitatifs du non-déterminisme ).

Étudiants ➯ Pablo Buiras a terminé sa thèse de master ( Licenciatura ) à l'Universidad Nacional de Rosario en 2011 sous l'encadrement de Mauro Jaskelioff et moi.

Enseignement

• 2010 CM et TD pour « MA554: Calculabilité et complexité » - Grenoble INP ESISAR, Valence, France
• 2010 TD pour « INF122B: Compléments mathématiques et introduction à la logique et la preuve formelle » - Université Joseph Fourier, Grenoble, France
• 2009 CM et TD pour « MA512: Théorie des graphes » - Grenoble INP ESISAR, Valence, France
• 2008 TD ( « Ayudante de primera » ) pour « Algebra y Geometría Analítica I » - Escuela de Formación Básica - FCEIA Universidad Nacional de Rosario, Rosario, Argentine
• 2008 TD ( « Ayudante de primera » ) pour « Análisis Matemático I » - Escuela de Formación Básica - FCEIA Universidad Nacional de Rosario, Rosario, Argentine
• 2007 TD ( « Ayudante de segund » ) pour « Análisis Matemático IV » - Departamento de Ciencias de la Computación - FCEIA Universidad Nacional de Rosario, Rosario, Argentine

Publications

Projet ALAL

Approches algébriques au lambda-calcul

ALAL est un projet de recherche de 12 mois en informatique théorique, commencé en octobre 2011, et coordonnée par Michele Pagani en partenariat avec Gilles Dowek.

Le soutien financier est assuré par la Région Île-de-France, via le consortium Digiteo.

Ce projet concerne les fondations théoriques des techniques formelles, notamment celles basées sur l'analyse statique ( sémantique, systèmes des types ), garantissant la validation et la vérification de logiciels. En particulier, le projet vise à explorer les nouvelles interactions entre l'algèbre linéaire et les méthodes formelles appliquées au calcul, récemment apparues dans la théorie de la démonstration de la logique linéaire et du λ-calcul. L'objectif est d'obtenir un cadre théorique solide permettant de développer des outils d'analyse statique et de vérification de paradigmes non-déterministes, tels que les systèmes stochastiques, le calcul concurrent, la programmation quantique, etc.