Page personnelle de Marc de Falco

à partir de sep. 2011 : Professeur de Mathématiques en MPSI au Lycée International de Valbonne
de jan. 2010 à juil. 2011 : Ingénieur R&D chez e-on software : simulation de paysage naturel en images de synthèse pour le cinéma. Activités principales : GPGPU, simulation physique, automatisation et robustification des processus de developements.
de sep. 2009 à déc. 2009 : Post-doc CNRS au sein du laboratoire Preuves, Programmes et Systémes de l'université Paris VII.
de 2009 à 2010 : Vacataire du département de Mathématiques à l'Université Paris VII.
de 2006 à 2009 : Allocataire de recherche et Moniteur de Mathématiques à l'Université de la Méditerranée.
de 2005 à 2006 : Vacataire du département de Mathématiques à l'Université de la Méditerranée.
de 2002 à 2006 : Eleve normalien de l'Ecole Normale Supérieure de Lyon.

de 2005 à 2009 : Doctorat de Mathématiques de l'Université de la Méditerranée.
de 2004 à 2005 : Master 2 de Mathématiques Discrètes et Fondements de l'Informatique de l'Université de la Méditerranée.
de 2002 à 2004 : Licence et Maitrise d'informatique de l'Ecole Normale Supérieure de Lyon.
de 1999 à 2002 : Classes préparatoires au Lycée Thiers à Marseille.

2008 : Prix du meilleur papier de la conférence Rewriting Techniques and Applications.
2006 : Reçu à l'agrégation de Mathématiques, préparée en tant que candidat libre (Rang de 42éme).
2002 : Reçu au concours de l'Ecole Normale Supérieure de Lyon.

An Explicit Framework for Interaction Nets

Logical Methods in Computer Science. Vol. 6, issue 4. Décembre 2010.

An Explicit Framework for Interaction Nets

RTA'09 (Rewriting Techniques and Applications). Best paper award.

The Geometry of Interaction of Differential Interaction Nets

LiCS'08 (Logic in Computer Science)

Géométrie de l'Interaction et Réseaux Différentiels

Thèse de Doctorat de Mathématiques, Université de la Méditerranée. Effectuée sous la direction de Laurent Regnier. Soutenue le 28 mai 2009.

Smart mistakes of the Geometry of Interaction

PS.GZ

Chargé du cours et des travaux pratiques de C++ du Master ISIFAR. Niveau M2.

Chargé du cours et des travaux dirigés de Logique à l'Université de la Méditerranée. Niveau L3.

Travaux dirigés et pratiques de Géometrie spatiale et application aux images de synthèse à l'Université de la Méditerranée. Niveau L2.

Travaux dirigés de Mathématiques Discrétes 2 à l'Université de la Méditerranée. Niveau L2.

Colles d'informatiques au Lycée La Martiniere Montplaisir de Lyon. Filieres: MPSI et PCSI.

e-mail : marc@de-falco.fr