Curriculum Vitae

	Rob
			arley

You may want to go to the english version...

Email:

Robert.Harley @ inria.fr

Téléphone:

Mobile: 06 7271 2496 (remplacer 06 par + 33 6 si vous appelez de l'étranger).

Naissance:

le 27 novembre 1970 à Dublin.

Nationalité:

irlandaise.

Langues:

L'anglais est ma langue maternelle. Je parle le français à peu près couramment.

Études:

Mon école primaire fut à Portmarnock dans le comté de Dublin en Irlande. J'ai été au collège à Paris puis à Sèvres. En 1988: Bac C à option internationale (anglais) au Lycée de Sèvres et accessit au Concours Général en sciences physiques.

J'ai passé 3 ans et demi à l'Université d'Édimbourg: cours d'algorithmique, de sémantique, de complexité, de théorie du parallélisme, d'algèbre linéaire, de théorie élémentaire des nombres, de topologie et cetera, projet et mini-thèse sur l'implémentation d'une arithmétique des intervalles en ML avec le Dr. Don Sannella. J'ai obtenu un «Joint Honours BSc» en informatique et mathématiques, mention «First Class» (1992).

Ensuite j'ai participé au programme «un semestre d'études à l'École Polytechnique», option informatique. J'ai suivi des cours avec la promo X89 et j'ai étudié les notes de J.-M. Deshouillers et de François Morain sur les méthodes analytiques et l'algorithmique en théorie des nombres. J'ai reçu un certificat d'auditeur avec la mention honorable (1992).

Aux «Graduate Record Examinations», que prennent tous les "graduates" désirant continuer leurs études dans une école américaine, j'ai eu un score parfait aux tests quantitatif et analytique. À la partie verbale: 710 sur 800. Au test d'informatique: 910 sur 990, c'est-à-dire dans le premier 1% des élèves.

Je me suis inscrit au programme doctoral du «Computer Science Department» du «California Institute of Technology», que je préférais à Stanford ou MIT. J'ai fait des cours sur la théorie de l'information, la «VLSI», la compilation de silicium, l'algèbre, la théorie de la mesure et de l'intégration, l'analyse complexe, et bien d'autres. J'ai aidé à enseigner un cours, «Computation, Computers, and Programs», pour les élèves en deuxième année sur les bases de l'informatique avec un appui sur la programmation selon Dijkstra (et qui n'avait pas grand chose à voir avec le cours CS20 actuel). Je détenais un «Research Assistantship» avec mon prof, Jan L.A. van de Snepscheut, avant sa mort tragique en 1994. J'ai eu un «Master of Science» en 1995 sous la supervision d'Alain Martin. J'ai également travaillé à temps partiel sur des logiciels d'infographie.

En 1996, j'ai obtenu un Diplôme d'Études Approfondies, «Sémantique, Preuves et Programmation» à Paris 7 avec la mention "très bien".

Maintenant je fais une thèse au sein du projet Cristal à l'I.N.R.I.A. Mais je fais surtout ce qui me passionne: travailler sur la théorie des nombres, l'algèbre, les maths dites numériques, le tout du point de vue de l'algorithmique et des méthodes effectives.

INRIA, Domaine de Voluceau - Rocquencourt, 78153 Le Chesnay, France.

Attention: Ces pages ne sont plus mis à jour (depuis décembre 2000 environ).