Docteur en Informatique Ingénieur Informaticien

Compétences informatiques

- Bonne maîtrise des développements sur plate-forme Unix : emacs, ddd, purify, insight, CVS, ... - Pratique de nombreux langages de programmation : C, C++, JAVA, LISP, ADA, Perl, *sh, ... - Bonne connaissance d'HTML, d'XML et d'OpenMath. - Nombreuses expériences dans les domaines de l'IHM : XLib, Motif, AWT, OpenGL, Tk, ... - Compétences en administration système UNIX : Digital-Unix, SunOS4, Solaris, Linux, ... - Passion pour les techniques infographiques : réalisation d'un logiciel de synthèse d'images réalistes, technique du ray-tracing, visualisation scientifique en OpenGL, ... - Expérience en parallélisme et en calcul distribué : parallélisation de bibliothèques numériques, développement d'IA sur cluster hétérogène.

Expérience professionnelle

1997-1999

Ingénieur Expert

- En charge des développements nécessaires à l'établissement de la norme OpenMath. Ce nouveau protocole évite la perte d'information sémantique lors des échanges d'objets mathématiques. Spécification de la version 1.0 de la norme OpenMath. Réalisation et support des bibliothèques de références en C, C++ et Java. Hébergé par le projet CAFE à l'INRIA.

1993-1997

Préparation d'un doctorat

- Développement d'Emath, un serveur pour l'édition et la manipulation des formules mathématiques. Ce composant logiciel simplifie l'écriture d'applications nécessitant l'affichage ou l'édition de formules mathématiques. Emath assure la gestion des évènements de bas niveau et ne propage vers ses clients que des meta-évènements plus faciles à gérer. Emath assure une typographie soignée et efficace. Il dispose d'un moteur multi-thread écrit en C et d'un interprète LISP embarqué. La communication des objets mathématiques est assurée par le protocole OpenMath et a permis son adaptation comme interface universelle à plusieurs systèmes de calcul formel commercialisés. Cette thèse a été préparée et soutenue au sein du projet SAFIR à l'INRIA de Sophia-Antipolis.

1993-1997

Activité d'Assistant Ingénieur Système

- Participation à l'administration système du parc informatique sur le site de l'INRIA Sophia-Antipolis. Installation de Sun/Dec/PC. Forte implication dans la validation des postes de travail et du clusters de calcul intensif à base de PC/Linux. (un jour par semaine dans le service SEMIR, Perl, ksh, SML)

Formation

1993-97	Doctorat d'Informatique. Université de Nice, Sophia-Antipolis
1990-93	Diplôme d'Ingénieur E.S.S.I. (Ecole Supérieure en Sciences Informatiques). Sophia-Antipolis. Option Génie Logiciel
1993	DEA d'Informatique Université de Nice, Sophia-Antipolis
1988-90	DEUG A, option Mathématiques Université d'Orléans

Publications-Conférences

- Présentation d'Agat lors de la conférence H.I.S.C. au C.W.I., Pays-Bas, 1993. - "Algorithm Animation with AGAT" O. Arsac, M. Gaëtano, Texts and Monographs in Symbolic Computation, Springer-Verlag, 1995. - "Emath a customizable component to display and edit formulas", O. Arsac, S. Dalmas & M. Gaëtano, Proceedings of ISSAC'99, Vancouver, ACM Press, 1999. - "The design of a customizable component to display and edit mathematical formulas". O. Arsac, S. Dalmas, A paraitre dans le numéro "spécial interfaces" du Journal of Symbolic Computations.

Références

- M. Bronstein, Directeur de recherche (INRIA Sophia-Antipolis). - C. Nahaboo, Directeur de l'équipe de recherche Bull de Sophia-Antipolis. - M. Gaëtano, Maître de conférences (CNRS, I3S). - R. Fournier, Ingénieur de Recherche (INRIA Sophia-Antipolis).

Langues

- Anglais: pratique courante. - Allemand: scolaire.