nee le 18 avril 1972, celibataire, francaise
1994-1997 Doctorat de l'Universite Joseph Fourier, Grenoble I.
1993-1994 DEA d'Informatique, option Intelligence Artificielle, de l'universite Joseph Fourier, Grenoble I.
1991-1994 ENSIMAG, option genie logiciel, puis intelligence artificielle.
1989-1991 classes preparatoires (Strasbourg, fr).
1989 Baccalauréat C (Mathematics, Physics)
1994-1997 Docotrat prepare a l'INRIA (Institut National de Recherche en Informatique et en Automatique) Rhone-Alpes, Grenoble, sous la direction de Jerome Euzenat.
Revision interative dans une base de connaissance par objets : specification formelle d'un langage de representation par objets, des inconsistences et des corrections minimales a apporter a une base inconsistante; specification d'un algorithme de revision de bases et implementation a l'aide d'un langage a objets; interface developpee avec HTML et JAVA.
1994-1997 Enseignement a l'universite Pierre Mendès-France (Grenoble II) - 80h par an : Travaux Pratiques et Travaux Diriges en : algorithmique; programmation Pascal, C et C++; bureautique (traitement de texte, tableur, bases de donnees); initiation aux reseaux.
Domaines Intelligence Artificielle, developmment oriente objet, algorithmique, IHM, bases de connaissances
Langages C++, LISP, C, JAVA, Pascal, Prolog, SQL.
OS/Platforms UNIX, Windows95, DOS, MacOS, SPARC/SUN, PC, Macintosh.
Anglais courant
I. Crampé. A characterization of Revision in Object-based Knowledge Representation. Proceedings of International Symposium of Methodologies and Intelligent Systems. Charlotte (NC, USA). October 1997.
I. Crampé, J. Euzenat. Fondements de révision dans un langage d'objets simple. Actes de LMO (Object-based Languages and Models). Leysin (Switzerland). October 1996.
1994 (4 mois) LIFIA (Laboratoire d'Informatique Fondamentale et d'Intelligence Artificielle) - Grenoble, fr Definition de la semantique operationnelle et denotationnelle d'un langage de taches.
1993 (2 mois) LSD2 (Laboratoire de Structures Discretes et de Didactique) - Grenoble Programmation des intersection des coniques en 3D dans CABRI-GÉOMÈTRE, un logiciel d'apprentissage de la geometrie.
1992 (2 mois) Péchiney-Rhénalu - Biesheim Programmation de construction automatique de bases de donnees a partir de differentes sources (texte, bases de donnees)
Associations Responsable Scout de France : animation pedagogique de 15 educateurs d'un groupe de 80 jeunes; participation a trois camps a l'etranger; oragnisation d'un jeu pour 1000 jeunes; detentrice du BAFA
Sports randonnee, ski de fond, badminton, natation.
| Adresse personnelle
|
Adresse professionnelle
|
E-Mail : Isabelle.Crampe@inrialpes.fr