Mark JORGENSEN
6 Bd Clemenceau
38100 Grenoble
Tel: 04 76 63 08 55 (Domicile)
Tel: 04 76 61 53 94 (Travail)
Mark.Jorgensen@inria.fr
24 ans, marié, nationalité Britannique, résidant en France depuis 15 ans,
Libéré des obligations militaires.

Formation:

1993-1996 :

Elève ingénieur à l'ENSIMAG (Ecole nationale supérieure d'informatique et de mathématiques appliquées de Grenoble) option Systèmes distribués, Temps réel,
diplomé en Juin 1996, avec la mention Bien. Major de Promotion

1991-1993 :

Classes préparatoires aux grandes écoles, au Lycée Jean Bart (Dunkerque), option P' (Sciences Physiques et Chimie).

1990-1991 :

Baccalauréat série C, mention très bien.

Connaissances informatiques :

Langages : Ada, C, C++, Java, Javascript, Turbo-Pascal, Lisp, Fortran, SQL, Prolog, Html, Lotos, Lustre.
Systèmes d'exploitation : MS-Dos, Windows 96 et 3.1, Unix, Linux
Logiciels : Logiscope (Verilog), CADP

Janv-Déc 1997 DYADE (Groupement d'Interêt Economique BULL/ INRIA) à Grenoble (Isère).

Ingénieur expert. Dans le cadre du transfert technologique des méthodes formelles de la recherche vers l'industrie :

• Développement d'Interfaces Homme-Machine en Tcl/Tk sous Unix pour l'utilisation et l'installation de l'atelier logiciel d'ingénierie des protocoles, CADP.
• Amélioration des performances du noyau de CADP écrit en C.
• Recrutement et encadrement de stagiaires.
• Conception et réalisation d'un site Web http://vasy.inria.fr

Août-Déc 1996 S.I.I. (Société pour l'Informatique Industriel) à Cergy-Pontoise (Val d'Oise).

Société de Services.
Ingénieur de développement. Forfait pour l'EDF. Développement d'un convertisseur de données provenant de divers instruments de mesure de contrôle non destructif vers un format unifié, le format trappist qui permet une visualisation graphique des pièces contrôlées.
Développements sous Unix (SunOS) en C++ en utilisant la méthode OMT.
Portage du logiciel vers d'autres plateformes Unix (HP, Silicon Graphics).

Avril-Juin 1996 Département d'informatique de l'université d'Ottawa (Canada)

(Laboratoire de recherche en informatique et télécommunications).
Ecriture d'interfaces (en Prolog et en C), entre différents outils de simulation de spécifications LOTOS (langage de spécification de protocoles), qui permettent à un simulateur d'exécuter une trace laissée par un autre, et intégration de cet interface dans une boîte à outils.
Le rapport de ce travail est disponible ici dans le format Postscript.

Juillet-Sept 1995 LGI équipe SCOP (Laboratoire de Génie Informatique) à Grenoble

Etude portant sur l'utilisation du logiciel Logiscope (Verilog) dans le cadre de projets pédagogiques. Logiscope évalue les campagnes de tests de programmes en termes de couverture des instructions et des différents chemins d'exécution.
Ecriture d'outils pour l'utilisation et pour l'interprétation des résultats, du logiciel.

Juillet-Août 1994 SOLLAC (aciérie, filliale de Usinor-Sacilor) à Dunkerque

Ecriture d'interfaces logicielles (traitement de fichiers) entre différents programmes, en Turbo-Pascal et en Fortran.
Administration Unix : gestion des comptes des utilisateurs et des partitions disques.