Courbis carine



Yüklə 41,84 Kb.
tarix23.01.2018
ölçüsü41,84 Kb.

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

Carine.Courbis@sophia.inria.fr

ETUDES ET DIPLOMES

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
EXPERIENCES PROFESSIONNELLES

Depuis Nov 98

Préparation d’une Thèse en Informatique à l’INRIA Sophia-Antipolis (06) projet OASIS

Directeurs : Didier Parigot et Isabelle Attali

Financement : allocation de recherche MENRT + ½ ATER

Réalisation d’un prototype d’un environnement de simulation pour des applications Java Card dans Centaur (un générateur d’environnements de développement) puis Participation à la création de SmartTools (le successeur de Centaur écrit en Java avec de nouvelles fonctionnalités) et de ses outils génériques

Mots clés : environnement de développement logiciel, Java, technologies liées à XML ,

design patterns (visitor pattern), analyses lexicale, syntaxique et sémantique


Mars - Juil. 98

(4 mois)


Stage de DEA à l’INRIA Sophia-Antipolis (06) en collaboration avec Bull CP8

Responsables : Isabelle Attali et Denis Caromel

Simulation d’applications Java Card dans l’environnement Centaur

Mots clés : Java Card, Centaur, sémantique


Juil. - Août 97

(2 mois)


Stage d'ingénieur à Ericsson Data (Stockholm, Suède)

Réalisation d’un client HTML à Metaphase (système de gestion de documents)

Mots clés : Javascript, Info*Engine, HTML, Metaphase


Sept. 96-Fév. 97

(5 mois)


Projet de fin d’études d'ingénieur à Ericsson Data (Stockholm, Suède)

Conception et Réalisation d’un prototype de client Java à Metaphase

Mots clés : Java, C, Metaphase, Client-Serveur, Use-case, Diagrammes d’interaction


Mai - Juil 96

(3 mois)


Stage à ascom Monétel (Guilherand-Granges - 07)

Test d’un outil de test (SQA)

Mots clés : SQA, Macro Excel


Juin - Sept. 95

(3 mois)


Stage à Infologic (Bourg-lès-Valence - 26)

Améliorations d’un programme de statistiques avec ACCESS

Mots clés : GUI, Access, Base de données


Avril - Sept. 94

(5 mois)


Stage d'IUT puis travail saisonnier à ICBT Informatique (Valence - 26)

Réalisations de programmes de D.A.O. avec ME10 de H.P. sous environnement Unix

Mots clés : D.A.O., Dessin industriel



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.




Années

Nature des Enseignements

Niveau

Etablissement

Responsable

1998-99

30h de TP de C

Bac +1

IUT de Nice Sophia-Antipolis
Département GTR

M Pruvost

1999-00

9h de TP d’algorithmique

Bac +1

Philippe Collard

2* 12h de TP de base de données

Bac +2

Martine Collard

2* 27h de TP de Java

Bac +2

Martine Collard

2000-01

15h de cours de programmation en C

http://www-sop.inria.fr/oasis/personnel/Carine.Courbis/c

Bac +1, année spéciale et année par alternance

Philippe Collard

2001-02

39h de TP de systèmes informatiques

Bac +2

Deug MI 2



Université de Nice Sophia-Antipolis

UFR Sciences (Valrose)



Olivier Lecarme

10h de TDM d’architecture, système d’exploitation

Bac +3

Licence Info



Olivier Dalle

2*6h de TDM de technologie Web

Bac +3

Licence MIAGE



Stéphane Lavirotte

21h de TDM de compilation

Bac +3

Licence MIAGE



Stéphane Lavirotte

26h de TDM de programmation système

Bac +3

Licence Info



Roger Rousseau

2h d’encadrement pour un TE

Bac +3

Licence Info



Raphaëlle Chaine


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 actes


Etaps’2002 workshop LDTA, Electronic Notes in Theoretical Computer Science (ENTCS), Grenoble (France), Avril 2002
Aspect and XML-oriented Semantic Framework Generator SmartTools

Didier 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 technologies


Isabelle 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 Tools


Isabelle 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 Card


Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson

Journaux

Revue 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 Card


Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson

Article en préparation

Programmation 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ş:




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©muhaz.org 2020
rəhbərliyinə müraciət

    Ana səhifə