655, avenue de l'Europe
F-38330 Montbonnot Saint-Martin
||+(33) 4 76 61 53 94
||+(33) 4 76 61 52 52
I'm currently an expert engineer (Ingenieur-expert) in the VASY action
My task is to :
- Promote the CADP toolbox throughout the Net (Creation and maintenance
of this Web Site, Indexation of it by Formal Methods Lists, Search Engines,
- Improvement of the CADP tools :
- reduce the state space explosion of CAESAR
- improve the speed of the code generated by CAESAR
- improve CADP's documentation (I'm currently working on the CADP FAQ)
- interconnect CADP to other tools, such as the Fc2Tools developped by Meije,
and integrate the interconnexion in the EUCALYPTUS Graphical User Interface.
- improve the actual compositional verification tools by developing a compiler
for a script-language called SVL that allows to compose Labelled Transition Systems and manipulate them in a pleasant way.
My main goal is to permit the technology (CADP, Formal Methods) transfer from INRIA to BULL. So I do my best to make the software as pleasant to use as possible
by the development of GUIs, and I work on the performances of the tools, so
that they can be used in this industrial context.
- 1993-1996 :
- ENSIMAG (Grenoble, France)
graduate engineering school specialised in computer science and mathematics. There I specialised in distributed systems, real time porgramming, software engineering, and Networks. I graduated in June 1996
- 1991-1993 :
- Prep School (Lycée Jean Bart, Dunkerque): two year university program dedicated to the preparation of the competitive entrance exam for French engineering schools.
- High school diploma (Baccalauréat série C) with highest distinctions, general physics and mathematics.
- Computer Skills :
- Languages : Ada, C, C++, Turbo-Pascal, Lisp, Fortran, SQL, Prolog, Html, Lotos, Lustre, Tcl/Tk.
Operating Systems: MS-Dos, Windows 95, Unix (Solaris 2.5 and SunOS 4.1.4), X-Windows.
Software tools: Logiscope (Verilog), CADP.
- April-June 1996 Department of Computer Science of Ottawa University (Canada)
Development (in C and in Prolog) of software bridges between different LOTOS
simulators. LOTOS is a language used to specify telecommunication protocols and
real time systems. This bridge enables one simulator to replay a trace left by another simulator, and thus combines the qualities of these simulators to provide the user with the best environment possible. Integration of this bridge in the LOTOS toolkit developed by Ottawa University (ELUDO).
Development of the Graphical User Interface of this toolkit, in Tcl/Tk.
The report of this work (postscript) is available here.
- July-Sept 1995 LGI SCOP team
(Laboratoire de Génie Informatique, Software Engineering Research Lab) Grenoble University, France
Study of the use of the Logiscope software development tool, developed by Verilog, on student software projects. Logiscope is a tool that evaluates test
campaigns, by finding the instructions that were not covered by the tests, as
well as certain types of execution paths.
I wrote programs that facilitated the use of Logiscope, and that analysed the results obtained from it.
July-August 1994 SOLLAC - Usinor Sacilor (French metallurgy company)
There I worked on system administration under a UNIX (SunOS 4.1.x) environment
(Account management, Printer Management and Disk partition) and
wrote various programs in Pascal and Fortran for file processing.
Link to my student home page
Link to my photo Album
A Project I did on "Monétique" (in french)
Back to the VASY Home Page