home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / fnet / general / 197 < prev    next >
Encoding:
Internet Message Format  |  1992-12-21  |  6.3 KB
  1. Path: sparky!uunet!spool.mu.edu!cass.ma02.bull.com!mips2!bull.bull.fr!julienas!tls-cs!lemoine
  2. From: lemoine@tls-cs.cert.fr (Michel Lemoine)
  3. Newsgroups: fnet.general
  4. Subject: recherche d'emploi
  5. Keywords: Genie Logiciel, methodes formelles
  6. Message-ID: <950@tls-cs.cert.fr>
  7. Date: 18 Dec 92 15:38:21 GMT
  8. Sender: news@tls-cs.cert.fr
  9. Organization: CERT Toulouse Dept of Computer Science, FRANCE
  10. Lines: 133
  11.  
  12.  
  13. Un  de  mes collegues anglais, parfait  francophone, Peter T.   BREUER
  14. aimerait beaucoup travailler en France.   Vous trouverez  ci-joint son
  15. CV.  Si sa proposition vous interesse, contactez-le  directement a son
  16. adresse electronique.
  17.  
  18.  
  19. ==========================CUT HERE====================================
  20.  
  21.  
  22. Peter T. BREUER 
  23.  
  24. OBJECTIF :-           recherche un poste de chercheur en informatique
  25.                       dans un laboratoire francais.
  26.  
  27. SPECIALITE :-         en methodes formelles, semantique des langages,
  28.               ingenierie des logiciels, retro-ingenierie,
  29.               compilation et decompilation, analyse statique,
  30.               maintenance de logiciels, programmation
  31.               fonctionel et logique, algebres des processus,
  32.               specification, conception de langages declaratifs.
  33.  
  34. FORMATION :-          Doctorat (Ph.D) de l'Universite de Cambridge, UK -
  35.                       Engineering (1982-85): Rational Approximation.
  36.                       Ingenierie de logiciels, ingenierie de controle, 
  37.                       theorie de l'approximation, analyse numerique,
  38.                       logique constructive.
  39.                       CASM (Maths) de l'Universite de Cambridge, UK -
  40.                       (1980-81).
  41.                       Logique et theorie des categories, algebre des groupes.
  42.                       MA (Maths) de l'Universite de Cambridge, UK -
  43.                       (1976-79). 
  44.                         
  45. EXPERIENCE            Fellow in Theoretical Computer Science, Universite
  46. PROFESSIONNELLE       de Kent, UK - Programmation fonctionel (1986).
  47. ET                    Associate in Information Engineering, Universite
  48. ENSEIGNEMENT          de Cambridge, UK - Computer-Aided Control System
  49.               Design avec un langage fonctionel pour donnees
  50.               persistentes (1986-88).
  51.                       J'ai enseigne tous les cours de maths pures
  52.                       pratiques a l'Universite.
  53.               Research Officer a le Programming Research Group,
  54.               Universite d'Oxford, UK - maintenence,
  55.               validation et retro-ingenierie de logiciels.
  56.               Programmation declarative. Analyse statique,
  57.               AI, semantiques des langages, methodes
  58.               formelles, langages de specification, systemes
  59.               d'operation, compilation, decompilation, etc.
  60.               (1989-1991).
  61.               Visiting Fellow in Computer Science, BT
  62.                   Laboratories, UK - decompilation automatique.
  63.                   (1992).
  64.               Plusieurs stages chez Thomson-CSF, Paris, ou j'ai 
  65.                       conduit des travaux de  recherches sur la theorie
  66.                       des filtres (1976-81).
  67.               Egalement plusieurs stages chez BT laboratoires en
  68.               Angleterre, lorsque j'ai fait ma these.
  69.               
  70.  
  71. LANGUES :-            Anglais (langue maternelle)
  72.               Francais (courant oral, ecrit)
  73.               Allemand (courant)
  74.  
  75. DIVERS :-             Ne le  7/11/56 a Londres
  76.                       Sujet de sa Tres Gracieuse Majeste,
  77.                       la Reine d'Angleterre
  78.  
  79. PUBLICATIONS :-       tres nombreuses.
  80.                       Cette annee j'ai ete co-auteur d'un livre
  81.               publie par Wiley sur le retro-ingenerie.
  82.                       J'ai publie onze longs articles techniques dans
  83.               des journaux scientifiques et actes de congres,
  84.               et plusieurs autres critiques et articles courts.
  85.  
  86.               Parmi mes dernieres publications ;
  87.  
  88. [1992a]    Dans Proc. Practical Applications of Prolog, London, avec
  89.            K. Lano.  ``Using Prolog for Reverse Engineering and Validation".
  90.  
  91. [1992b]    Dans The Reverse Engineering Handbook,  Zuylen et
  92.            al., Wiley, ``Understanding Programs through Formal Methods".
  93.        Avec K. Lano, ``Reverse Engineering COBOL Programs".
  94.        Avec J. Bowen, ``Decompilation".
  95.  
  96. [1992c]    Dans Proc. Journees Francais des Langages Applicatifs,
  97.            Bretagne, 1992, avec C. Hogue, ``Un langage d'analyse et synthese
  98.        ayant la capacitee d'apprendre", publ. Univ. Rennes/BIGRE.
  99.  
  100. [1992d]    Dans The Journal of Software Maintenance, avec K. Lano,
  101.            ``Reverse Engineering COBOL via Formal Methods".
  102.  
  103. [1992e]    Dans The Assoc. Logic Programming newsletter, avec
  104.            K. Lano, ``Using Prolog for Reverse Engineering and Validation".
  105.  
  106. [1992f]    Dans The Journal of Software Maintenance, avec G. Papapanagiotakis,
  107.            ``A Software Maintenance Management Model based on Queuing
  108.        Networks".
  109.  
  110. [1992g]    Dans Proc. 2nd European Summer School on Logic Programming,
  111.            Zurich, Sept. 1992, Logic Programing in Action, eds. G. Comyn,
  112.            N.E. Fuchs, M.J. Radcliffe, "The Art of Computer Un-Programming",
  113.        Springer Lecture Notes in Artificial Intelligence 636.
  114.  
  115. [1992h]    Revue dans University Computing, ``Computational Learning".
  116.  
  117. [1992i]    Proc. BCS meeting on REUSE, Imperial College London, May
  118.            1992, ``The search for objects in the (COBOL) jungle" (invited).
  119.  
  120. [1992k]    ``Decompilation is the enumeration of types and grammars",
  121.            avec J. Bowen. dans Proc. Workshop on Static Analysis, Bordeaux,
  122.        Sept. 1992, publ. Univ. Rennes/BIGRE.
  123.  
  124. [1992l]    Revue dans University Computing, ``Object Oriented
  125.            Reuse for Concurrency and Distribution".
  126.  
  127. [1992m]    ``Occam's Razor: the Cutting Edge of Parser Technology",
  128.            avec J. Bowen, Proc. 5'th Int'l Workshop on Software Engineering
  129.        and its Applications, December 1992, Toulouse.
  130.  
  131. [1992o]    ``A PREttier Compiler Compiler: Higher Order Programming
  132.            in C", Proc. 5'th Int'l Workshop on Software Engineering and its
  133.            Applications, December 1992, Toulouse.
  134.  
  135. [1992s]    Revue dans University Computing, ``Disjunctive Logic Programming".
  136.  
  137. [1993a]    Dans Proc. UK Unix systems User Group, Oxford, 7'th Jan.  1993,
  138.            avec J. Bowen. ``The PRECC Compiler Compiler".
  139.  
  140.  
  141. CONTACT :-          par email: ptb@comlab.ox.ac.uk, ptb@eng.cam.ac.uk
  142.             par courrier : Dr. P.T. Breuer, Oxford University
  143.                            Computing Laboratory, 11 Keble Road, Oxford
  144.                            OX1 3QD, GB.
  145.