Courbis carine
Yüklə 41,84 Kb.
|
- Bu səhifədəki naviqasiya:
- Conférences internationales avec comité de lecture et publication des actes
- SmartTools : a development environment generator based on XML technologies
- SmartTools: a Generator of Interactive Environment Tools
- Journaux
- An Integrated Development Environment for Java Card
 COURBIS Carine
INRIA Sophia-Antipolis - Projet OASIS 2004, route des Lucioles BP93 28 ans, célibataire 06 902 Sophia-Antipolis cedex Française 04.92.38.75.62
1998 DEA d’Informatique de Lyon (ENS Lyon, INSA de Lyon, Université Claude Bernard) 1997 Diplôme d’Ingénieur en Informatique de l’INSA de Lyon 1996-97 Echange Erasmus à KTH (Kungl Tekniska Högskolan) à Stockholm (Suède) 1994 DUT Informatique option Informatique des Systèmes Industriels de Valence
ENSEIGNEMENTS Durant ma préparation de thèse, j’ai effectué 242 heures d’enseignement (soit 197 heures équivalent TD) au département GTR de l’IUT de Nice – Sophia-Antipolis puis à UFR Sciences de l’Université de Nice Sophia-Antipolis. L’expérience la plus enrichissante fut très certainement la responsabilité et le montage du cours de programmation en C pour 135 étudiants. Grâce à cette expérience, je me suis rendue compte de la lourde tâche liée à la réalisation d’un cours destiné principalement à des débutants en informatique, à la conception de sujets de TPs attractifs et à la rédaction d’un sujet d’examen.
MATIERES POUVANT ETRE ENSEIGNEES Outre les matières déjà enseignées (Java, C, algorithmique, base de données, Unix, technologies XML, etc), il me serait possible d’enseigner d’autres connaissances acquises durant mes stages en entreprise, ma préparation de thèse ou lors de ma formation d’ingénieur (javascript, assembleur 68 000, Ada, Pascal, Prolog, Lisp, les réseaux, programmation d’interfaces graphiques, méthodes de conception orientée-objet,). RECHERCHE Résumé des travaux de thèse : Ma thèse s’intéresse à la création d’outils d’aide pour les concepteurs d’environnement de développement de langages de programmation ou métier dans SmartTools (générateur d’environnements, développé dans le projet OASIS de l’INRIA Sophia-Antipolis cf. http://www-sop.inria.fr/oasis/SmartTools) et plus particulièrement aux analyses sémantiques. La première partie de ma thèse fut consacrée à la réalisation d’un prototype d’environnement de développement dédié à Java Card (langage pour les cartes à puce) en utilisant le système Centaur. Le simulateur de ce prototype a été écrit en utilisant la sémantique naturelle proposée dans Centaur. Il permet l'évaluation incomplète de code source Java Card. En début d'année 2000, les premiers développements de SmartTools (le remplaçant 100% Java de Centaur) ont commencé. De ce fait, il était inutile de poursuivre nos efforts de développement du prototype sur une plate-forme obsolète. Il nous a semblé plus intéressant de participer à la construction de ce nouveau générateur d'environnement. Grâce à cette première expérience, nous avons pu faire ressortir les défauts du langage Typol utilisé pour l'écriture d'analyses sémantiques dans Centaur : peu d’opérations définies en standard, listes non génériques d’où redondance de code et mise au point difficile des règles d’inférence due au backtracking et à la taille de la sémantique. La deuxième partie s'attache à participer à la création de SmartTools (qui a déjà été présenté à trois conférences) et plus particulièrement à la conception d'outils pour aider à décrire des analyses sémantiques. Notre objectif est de proposer et de promouvoir un langage de description sémantique aussi déclaratif que possible mais ayant les bonnes propriétés d'extensibilité et de réutilisabilité que peut proposer un langage comme Java. Nous utilisons comme outils de base la programmation par aspect et la technique des "visitor patterns" pour parcourir nos arbres de syntaxe fortement typés et effectuer les calculs. Nous avons aussi découpler la partie parcours des calculs sémantiques pour permettre la composition d'analyses à l'aide de la programmation par aspect. PUBLICATIONS (http://www-sop.inria.fr/oasis/personnel/Carine.Courbis/pubs) Conférences internationales avec comité de lecture et publication des actesEtaps’2002 workshop LDTA, Electronic Notes in Theoretical Computer Science (ENTCS), Grenoble (France), Avril 2002 Aspect and XML-oriented Semantic Framework Generator SmartToolsDidier Parigot, Carine Courbis, Pascal Degenne, Alexandre Fau, Joël Fillon, Christophe Held, Claude Pasquier, Isabelle Attali ICSE'2001 workshop XSE (XML technologies and Software Engineering), Toronto (Canada), Mai 2001 SmartTools : a development environment generator based on XML technologiesIsabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Joël Fillon, Didier Parigot, Claude Pasquier Etaps’2001 Compiler Construction, démonstration d’outil, LNCS 2027, Gênes (Italie), Avril 2001 SmartTools: a Generator of Interactive Environment ToolsIsabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier Cardis'2000 (conférence sur les cartes à puce), Kluwer Academic, Bristol (Grande-Bretagne), Sept. 2000 Smart Tools for Java CardIsabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson JournauxRevue L’OBJET numéro spécial XML et les objets, Hermès, à paraître L'Apport de la Technologie XML à un Générateur d'Environnements : SmartTools Didier Parigot, Carine Courbis, Pascal Degenne, Alexandre Fau, Joël Fillon, Christophe Held, Claude Pasquier, Isabelle Attali Computer Networks, Elsevier science, édition spéciale sur les cartes à puce, vol. 34 numéro 4, Juillet 2001 An Integrated Development Environment for Java CardIsabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson Article en préparationProgrammation par visiteurs et par aspects dynamiques. Carine Courbis, Alexandre Fau, Didier Parigot LANGUES ETRANGERES Anglais : fonctionnel (690/1000 au TOEIC en 1996 - 1 an d’études en Suède en 1996-97 - Fille au pair pendant l’été 1993) Suédois : niveau intermédiaire (certifié par un diplôme de KTH) Allemand : notions Yüklə 41,84 Kb. Dostları ilə paylaş:
|