From: lemoine@tls-cs.cert.fr (Michel Lemoine)
Newsgroups: fnet.general
Subject: recherche d'emploi
Keywords: Genie Logiciel, methodes formelles
Date: 18 Dec 92 15:38:21 GMT
Organization: CERT Toulouse Dept of Computer Science, FRANCE


Un  de  mes collegues anglais, parfait  francophone, Peter T.   BREUER
aimerait beaucoup travailler en France.   Vous trouverez  ci-joint son
CV.  Si sa proposition vous interesse, contactez-le  directement a son
adresse electronique.


==========================CUT HERE====================================


Peter T. BREUER 

OBJECTIF :-           recherche un poste de chercheur en informatique
                      dans un laboratoire francais.

SPECIALITE :-         en methodes formelles, semantique des langages,
		      ingenierie des logiciels, retro-ingenierie,
		      compilation et decompilation, analyse statique,
		      maintenance de logiciels, programmation
		      fonctionel et logique, algebres des processus,
		      specification, conception de langages declaratifs.

FORMATION :-          Doctorat (Ph.D) de l'Universite de Cambridge, UK -
                      Engineering (1982-85): Rational Approximation.
                      Ingenierie de logiciels, ingenierie de controle, 
                      theorie de l'approximation, analyse numerique,
                      logique constructive.
                      CASM (Maths) de l'Universite de Cambridge, UK -
                      (1980-81).
                      Logique et theorie des categories, algebre des groupes.
                      MA (Maths) de l'Universite de Cambridge, UK -
                      (1976-79). 
                        
EXPERIENCE            Fellow in Theoretical Computer Science, Universite
PROFESSIONNELLE       de Kent, UK - Programmation fonctionel (1986).
ET                    Associate in Information Engineering, Universite
ENSEIGNEMENT          de Cambridge, UK - Computer-Aided Control System
		      Design avec un langage fonctionel pour donnees
		      persistentes (1986-88).
                      J'ai enseigne tous les cours de maths pures
                      pratiques a l'Universite.
		      Research Officer a le Programming Research Group,
		      Universite d'Oxford, UK - maintenence,
		      validation et retro-ingenierie de logiciels.
		      Programmation declarative. Analyse statique,
		      AI, semantiques des langages, methodes
		      formelles, langages de specification, systemes
		      d'operation, compilation, decompilation, etc.
		      (1989-1991).
		      Visiting Fellow in Computer Science, BT
	              Laboratories, UK - decompilation automatique.
	              (1992).
		      Plusieurs stages chez Thomson-CSF, Paris, ou j'ai 
                      conduit des travaux de  recherches sur la theorie
                      des filtres (1976-81).
		      Egalement plusieurs stages chez BT laboratoires en
		      Angleterre, lorsque j'ai fait ma these.
		      

LANGUES :-            Anglais (langue maternelle)
		      Francais (courant oral, ecrit)
		      Allemand (courant)

DIVERS :-             Ne le  7/11/56 a Londres
                      Sujet de sa Tres Gracieuse Majeste,
                      la Reine d'Angleterre

PUBLICATIONS :-       tres nombreuses.
                      Cette annee j'ai ete co-auteur d'un livre
		      publie par Wiley sur le retro-ingenerie.
                      J'ai publie onze longs articles techniques dans
		      des journaux scientifiques et actes de congres,
		      et plusieurs autres critiques et articles courts.

		      Parmi mes dernieres publications ;

[1992a]    Dans Proc. Practical Applications of Prolog, London, avec
           K. Lano.  ``Using Prolog for Reverse Engineering and Validation".

[1992b]    Dans The Reverse Engineering Handbook,  Zuylen et
           al., Wiley, ``Understanding Programs through Formal Methods".
	   Avec K. Lano, ``Reverse Engineering COBOL Programs".
	   Avec J. Bowen, ``Decompilation".

[1992c]    Dans Proc. Journees Francais des Langages Applicatifs,
           Bretagne, 1992, avec C. Hogue, ``Un langage d'analyse et synthese
	   ayant la capacitee d'apprendre", publ. Univ. Rennes/BIGRE.

[1992d]    Dans The Journal of Software Maintenance, avec K. Lano,
           ``Reverse Engineering COBOL via Formal Methods".

[1992e]    Dans The Assoc. Logic Programming newsletter, avec
           K. Lano, ``Using Prolog for Reverse Engineering and Validation".

[1992f]    Dans The Journal of Software Maintenance, avec G. Papapanagiotakis,
           ``A Software Maintenance Management Model based on Queuing
	   Networks".

[1992g]    Dans Proc. 2nd European Summer School on Logic Programming,
           Zurich, Sept. 1992, Logic Programing in Action, eds. G. Comyn,
           N.E. Fuchs, M.J. Radcliffe, "The Art of Computer Un-Programming",
	   Springer Lecture Notes in Artificial Intelligence 636.

[1992h]    Revue dans University Computing, ``Computational Learning".

[1992i]    Proc. BCS meeting on REUSE, Imperial College London, May
           1992, ``The search for objects in the (COBOL) jungle" (invited).

[1992k]    ``Decompilation is the enumeration of types and grammars",
           avec J. Bowen. dans Proc. Workshop on Static Analysis, Bordeaux,
	   Sept. 1992, publ. Univ. Rennes/BIGRE.

[1992l]    Revue dans University Computing, ``Object Oriented
           Reuse for Concurrency and Distribution".

[1992m]    ``Occam's Razor: the Cutting Edge of Parser Technology",
           avec J. Bowen, Proc. 5'th Int'l Workshop on Software Engineering
	   and its Applications, December 1992, Toulouse.

[1992o]    ``A PREttier Compiler Compiler: Higher Order Programming
           in C", Proc. 5'th Int'l Workshop on Software Engineering and its
           Applications, December 1992, Toulouse.

[1992s]    Revue dans University Computing, ``Disjunctive Logic Programming".

[1993a]    Dans Proc. UK Unix systems User Group, Oxford, 7'th Jan.  1993,
           avec J. Bowen. ``The PRECC Compiler Compiler".


CONTACT :-          par email: ptb@comlab.ox.ac.uk, ptb@eng.cam.ac.uk
		    par courrier : Dr. P.T. Breuer, Oxford University
		                   Computing Laboratory, 11 Keble Road, Oxford
		                   OX1 3QD, GB.
Xref: sparky fnet.general:200 resif.admin:87 soc.culture.french:9327 frmug.general:75