Mark Jorgensen

Address: INRIA Rhone-Alpes
655, avenue de l'Europe
F-38330 Montbonnot Saint-Martin
FRANCE
Email: Mark.Jorgensen@inria.fr
Phone: +(33) 4 76 61 53 94
Fax: +(33) 4 76 61 52 52
Web:
http://vasy.inria.fr/people/Mark.Jorgensen/

Current Position

I'm currently an expert engineer (Ingenieur-expert) in the VASY action of DYADE.

My task is to :

Academic Background

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.

1990-1991 :
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.



Professional Experience

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) Dunkerque, France
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.

Favourite Sites

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