Teaching team IDE
Equipe pédagogique
Les enseignant·e·s du Cnam, de Gobelins et des professionnels de haut niveau vous accompagnent dans vos projets !
L'équipe pédagogique est composée d'enseignant·e·s-chercheu·r·se·s du Cnam et de Gobelins et de professionnel·le·s des nouveaux médias interactifs.
Pauline GOMY (Gobelins) et Olivier PONS (Cnam) sont les responsables pédagogiques de ce diplôme.
Différents intervenant·e·s participent à l'enseignement du Mastère IDE :
- L'équipe Cnam-Enjmin
Olivier Pons, Thierry Perreau, Cécile Le Prado, Stéphane Natkin, Axel Buendia, Guillaume Levieux, Pierre Cubaud
- L'équipe GOBELINS, l'école de l'image
Pauline Gomy, Aïda Del Solar, Fred Nagorny, Olivier Witner, Rapahël Kuntz, Karim-Armand De Visme
CNAM
Olivier PONS
Coordinateur pédagogique
Publications
2011
Conférence Internationale avec comité de lecture
[CCF11a] E. Contejean , P. Courtieu , J. Forest , O. Pons , X. Urbain - Automated Certified Proofs with CiME 3, 22nd Int. Conf. on Rewriting Techniques and Applications, May 2011, Vol. 10, pp.21-30, Series LIPIcs, Novi Sad, Serbie,
Rapport Scientifique
[CCF11] E. Contejean , P. Courtieu , J. Forest , O. Pons , X. Urbain - Automated Certified Proofs with CiME3, Date de dépot: 2011/02/01, Nb pages 11, (Tech. Rep.: CEDRIC-11-2044)
2010
Conférence Internationale avec comité de lecture
[CGP10] P. Courtieu , G. Gbedo , O. Pons - Improved Matrix Interpretation, SOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science, , January 2010, Vol. 5901, pp.12, Series LNCS, Spindleruv Ml{\'y}n, Czech Republic,
[CCF10] E. Contejean , P. Courtieu , J. Forest , A. Paskevich , O. Pons , X. Urbain - A3PAT, an Approach for Certified Automated Termination Proofs, PEPM'10 Proceedings of the 2010 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, Madrid, Spain, January 2010, pp.10,
2009
Conférence Internationale avec comité de lecture
[CGP09a] P. Courtieu , G. Gbedo , O. Pons - Matrix interpretations revisited, Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, January 2009, pp.4,
2008
Rapport Scientifique
[ALP08] I. Aug , V. Leligeour , O. Pons - A Distribution and System Compiler for Handling Heterogeneous Computer Site, Date de dépot: 2008/01/01, (Tech. Rep.: CEDRIC-08-1549)
[AP08] I. Aug , O. Pons - A service oriented compiler for operating systems, Date de dépot: 2008/01/01, (Tech. Rep.: CEDRIC-08-1551)
2007
Conférence Internationale avec comité de lecture
[CCF07a] E. Contejean , P. Courtieu , J. Forest , O. Pons , X. Urbain - Certification of automated termination proofs, 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, January 2007, pp.148-162, Series LNAI 4720,
Rapport Scientifique
[CCF07] E. Contejean , P. Courtieu , J. Forest , O. Pons , X. Urbain - Certification of automated termination proofs, Date de dépot: 2007/01/01, (Tech. Rep.: CEDRIC-07-1185)
2005
Conférence Nationale avec comité de lecture
[GLR05] B. Grau , A. Ligozat , I. Robba , A. Vilnat , F. El Kateb , G. Illouz , L. Monceaux , P. Paroubek , O. Pons - De l'importance des synonymes pour la sélection de passages en question-réponse, CORIA'05 Conférence en Recherche d'Informations et Applications, January 2005, pp.71-84,
[GIM05] B. Grau , G. Illouz , L. Monceaux , P. Paroubek
GOBELINS
Pauline GOMY
Coordinatrice pédagogique
Ingénieure en agriculture diplômée de Lasalle Beauvais, Pauline GOMY a commencé sa carrière dans la communication en tant que journaliste de la presse professionnelle, community manager d'une start-up, puis directrice de production dans l'audiovisuel et le multimédia.
Cette expérience d'une dizaine d'années l'a conduite à GOBELINS, l'école de l'image, pour y prendre la responsabilité de la formation Manageur en ingénierie de la communication numérique interactive (micni, bac+5), puis la coordination du mastère spécialisé Interactive Digital Experiences.