Upload
fiacre-dubois
View
106
Download
2
Embed Size (px)
Citation preview
1
Carine Courbis
Candidate au poste n°226S
de Maître de Conférence en 27ème section
à l’Université de Nice Sophia-Antipolis
2
Formation1994 DUT Informatique option ISI
1996-97 Échange Erasmus à KTH (Suède)
1997 Diplôme d'Ingénieur en Informatique
1998 DEA en Informatique de Lyon
2002 Doctorat en Sciences spécialité Informatique
3
Expériences Professionnelles
1996-97 Stage de fin d'études d'ingénieur à Ericsson Data (Stockholm, Suède)
1998 Stage de DEA à l'INRIA Sophia-Antipolis (06)
2001-02 ATER à l'UNSA, dépt. Informatique (06)
1998-2002 Thèse à l'UNSA INRIA Sophia-Antipolis, projet OASIS
« Contribution à la programmation générative. Application dans le générateur SmartTools: technologies XML, programmation par aspects, et composants »
Jury : Michel Riveill, Jean Bézivin, Jean-Marc Jézéquel,
Daniel Dardailler, Didier Parigot, Isabelle Attali
4
Travaux de Recherche1998-fév 2000 : Outils de développement pour Java Card
Etude de la sémantique du JCRE et des APDUs Editeur structuré, outil d’extraction des formats d’APDU, prototype
de simulation d’applications réalisés avec Centaur (Bull Cp8)
2000- : Méthodologies de Conception et de Développement de logicielsUtiliser la programmation générative, à partir de modèles, pour intégrer les technologies/besoins (~ MDA)
SmartTools, un atelier de développement logiciel, construit sur cette idée + utilisation de standards (Bull Cp8, Microsoft Research, W3C)
Travail d’équipe (1 CR, 2IE, et moi-même)cf. http://www-sop.inria.fr/oasis/SmartTools/st4up
5
Instantiation, à différents niveaux, dans SmartTools
SmartTools = Atelier de Genie Logiciel Pour aider à développer des langages métiers/outils
Visiteur pardéfaut + AOP
Pour un langage L
Modèle decomposant
AfficheursSpécificationd’analyseursyntaxique
Composants
Générateurs
de
SmartTools
API de Manipulation de
Données DTD ou XMLSchema
Editeurstructuré
PSM
Modèle deDonnées
PIM
Modèle d’analyses
sémantiques
Modèle de vues/GUI
6
Positionnement des Travaux
A la Frontière de plusieurs Domaines :1) Langages de Programmation (prog. à Objets)
Nouveaux paradigmes : AOP, SOP, IP, prog. adaptative, prog. par composant (Projet ObAsCo)
2) Traitement des Documents (Technologies XML)Système de type pour filtrage plus fin (Martin Odersky)
3) Architecture logicielle (prog. par composant, MDA)Assemblage de composants flexibles et adaptables
– Environnements interactifs et graphiques
7
PublicationsJournal international : 1
Computer network (édition sur les cartes à puce), 2001
Journal francophone : 1 + 1 soumis L’Objet (édition sur XML et les objets), 2003TSI (édition sur les systèmes à composants adaptables et
extensibles), soumis
Conférences internationales : 2 + 1 soumisCARDIS’2000 (carte à puce), ETAPS’2001 CC, OOPSLA’2003 3D Track, soumis
Workshops internationaux : 3ETAPS’2001 LDTA, ICSE’2001 XSE, ETAPS’2002 LDTA
Workshop français : 1Journée systèmes à composants adaptables et extensibles, 2002
Réalisation logicielle : SmartTools (travail d’équipe)
8
Intégration Recherche : équipe OASIS, I3S - INRIA -CNRS
Poursuite des Travaux avec Didier Parigot :• Les Technologies XML• Programmation par Aspects• Programmation par Composants• L’approche MDA
Plusieurs collaborations dont deux avec l'équipe OCL : • COLOR protection dans les langages de programmation• ACI sécurité logicielle (composants)
9
SGBD
Enseignements
Bac+2
Bac+3
Architecture, OS
Technologies Web01-02(ATER)
00-01
Compilation
Programmation système
TE
Programmation en C
Algorithmique
Systèmes informatiques
C
Java
99-00
98-99
Bac+1
Bac+1
Bac+2
Cours
TP
TP
TDM
Encad
16
14
2*16
16 et 20
135
16
24
2*26
26
26
2
30
9
2*12
2*27
15
39
10
2*6
21
26
2
UN
SA
IUT
GT
R N
ice
h. eff.niveau oùnb. étu.naturematièreann.
242 h (197 h éq. TD) dont 15 h cours, 71 h TD et 156 h TP
10
Un cours : Programmation en C
Public : IUT GTR 1ère année (135 étudiants)cycle traditionnel, année spéciale et alternance
Activités : – Supports de cours (10 séances de 1h30)– Sujets de TPs accompagnés d’une correction– Sujet d’examen et correction des copies– Co-réalisation du sujet d’examen de TP sur
machine (cf. http://www-sop.inria.fr/oasis/personnel/Carine.Courbis/c )
11
Intégration Enseignement : Université de Nice Sophia-
Antipolis ATER au département Informatique en 2001/02
DEUG MI, Licence Informatique et Licence MIAGE
Enseignements possibles :Algorithmique/programmation, Système (Unix), SGBD, Compilation, Technologies XML, Composants
Enseignements proches des Travaux de Recherche SmartTools : possible support pour les TPs
12
Résumé
Expérience Enseignement242 h dont
15 h de cours
71 h de TD
156 h de TP
Montage d’un cours, création et correction de sujets de TP et d’examen
Docteur de l’UNSA, Ingénieur de l’INSA de Lyon, DUT d’Informatique
Expérience Recherche1 thèse
8 + 2 Publications :1 journal int., 1+1 francophone
2+1 conférences int.
3 workshops int., 1 français
Apports RechercheLa Programmation générative,
AOP, la programmation par composants, les technologies XML, l’approche MDA
Apports EnseignementGénie logiciel, les nouvelles
technologies
SmartTools support pour les TPs