Roudet Christophe (33) 4 92 38 79 12 [email protected] Current address Le vert Clos - Bat. A 594, chemin des Combes 06600 Antibes (France) (33) 4 93 74 81 74 Permanent address 395, Bd docteur Valois 38140 Renage (France) (33) 4 76 91 40 81 OBJECTIVE Software Engineer EDUCATION Université de Nice-Sophia-Antipolis PhD Thesis in Computer Science at Inria Sophia-Antipolis. Expect to graduate in April 99. 1995 - 1999 1994 - 1995 ESSI Sophia-Antipolis (Graduate Computer Engineering School) DEA d'Informatique. A one year postgraduate degree in Computer Science . 1992 - 1994 Université de Pau et des Pays de l'Adour Obtained a Maîtrise d'Informatique. Equivalent to a master degree in Computer Science. Obtained a Licence d'Informatique. Equivalent to a bachelor degree in Computer Science. 1989 - 1991 IUT2 de Grenoble DUT Informatique. Obtained a specialized two year degree in Computer Science. EXPERIENCE 1995 - 1999 PhD Thesis at Inria Sophia-Antipolis (partially supported by Simulog). I designed and implemented a language for program transformation. Development of typecheckers and compilers in Java (JDK1.1.x) and Lisp. Development of a Java library to manipulate abstract syntax trees (JDK1.1.x). Development of environments and tools for structured manipulation of programs (JKD1.1.x, AWT, Swing). Keywords: transformation, code maintenance, program analysis, formal specification, semantics, compilation, Lisp, Java, GUI, design OO July - Sept. 95 (3 months) Internship at Inria Sophia-Antipolis (France). Designed and developed tools for the manipulation of Topoï. Keywords: AI, talk (Lisp), GUI IlogViews Nov. 94 - June 95 (8 months) Internship at Inria Sophia-Antipolis (France). Specified and implemented a tool for incremental graphic visualization by attributes evaluation. Keywords: semantics, attribute grammar, compilation, graphic layout, Lisp March - June 91 (4 months) Internship at Institut de la Communication Parlée de Grenoble (France). Designed and implemented a management system for a data base of the sounds of French on CD-Rom. Keywords: Data base, C TECHNICAL SKILLS Program transformation, compiler technology, semantics, static analysis, GUI, design OO, UML, design patterns Java (AWT, Swing, RMI, Sun Xml package, antlr), Lisp, C, HTML, Pascal, SmallTalk, Fortran, Cobol, Ada, SQL, Prolog, Perl Unix (Linux, Solaris), Windows, VMS LANGUAGES French: mother tongue English: good level German: notions OTHER INFORMATION Webmaster of the PhD students' page. Full, clean driving license. BAFA (Brevet d'Aptitude aux Fonctions d'Animateur): State diploma in Youth work. INTERESTS Sports, music, literature, photography.