Vous êtes ici : Version française > Promotions accueillies > Promotions antérieures > Séjour 2017-2018

Séjour long

Glynn
Winskel

Informatique - Royaume-Uni

Coordonnées

Discipline(s)

  • INFORMATIQUE

Thèmes de recherche

PROJET

JEUX DISTRIBUÉS

En collaboration avec des chercheurs de Lyon, le projet consiste à continuer à développer et à appliquer une théorie mathématique des jeux distribués, dans laquelle un joueur (ou une équipe de joueurs) peut interagir et affronter un adversaire (ou une équipe d’adversaires) d’une manière fortement distribuée, sans, par exemple, imposer que leurs coups interviennent dans un ordre séquentiel, ou aient besoin d’alterner. Bien qu’exprimée en termes de « joueur » et « adversaire », cette dichotomie peut aussi représenter celle de processus contre environnement, preuve contre réfutation, ou allié contre ennemi. Ces alternatives montrent le large éventail d’applications possibles dans les sciences informatiques, la logique et au-delà.

Activités / CV

BIOGRAPHIE

Glynn Winskel a intégré en 2000 le laboratoire d’informatique de l’Université de Cambridge, après douze ans comme professeur de sciences informatiques à l’Université d’Aarhus (Danemark) où il avait obtenu des moyens pour diriger un centre de recherche Grundforskningsfond, Basic Research in Computer Science (BRICS). Celui-ci obtenu un succès mondial et est l’un des dix projets de recherche présenté dans le livre du 75e anniversaire de l’Université d’Aarhus.

Au départ, G. Winskel a étudié les mathématiques à Cambridge et la logique mathématique à Oxford avant de s’orienter vers les sciences informatiques dans le cadre de son doctorat à Edimbourg. Il a ensuite été chercheur post-doctoral de la Royal Society, puis chercheur invité par l’Université Carnegie Mellon. Il a quitté Pittsburgh en 1984 pour devenir maître de conférences à Cambridge, avant d’accéder au professorat à Aarhus en 1988.

G. Winskel a dirigé plus d’une vingtaine de doctorants dont les carrières se sont ensuite poursuivies du monde académique à l’industrie (plusieurs sont professeurs, deux dirigent des instituts d’informatique biomédicale, au moins un est patron d’entreprise et un autre vice-chancelier d’université). Son livre The Formal Semantics of programming languages (MIT Press) est utilisé internationalement, disponible en italien et en chinois, et en cours de traduction en japonais.

Sa recherche relève surtout des fondements de la science informatique, en développant les mathématiques pour comprendre et analyser le calcul, sa nature, sa puissance et ses limites. Cette recherche mène à des applications, parfois imprévues et parfois avec un décalage important. L’une d’elles consiste à analyser et à vérifier les protocoles de sécurité (lauréate en 2002 du Brendan Murphy Award pour un travail dans le domaine de la sécurité) ; sa recherche dans le domaine des réseaux de Petri et les structures d’événements est utilisée dans le hardware, dans le contrôle de modèles et récemment dans les modèles de confiance et dans le diagnostic de fautes dans les systèmes distribués, ainsi que dans la biologie systémique (dans l’analyse des filières biochimiques) ; son travail sur les modèles pour le calcul concurrent a eu une influence fondatrice sur le sujet, servant de base à un chapitre du Handbook of Logic and Computer Science (Oxford University Press). Ses applications ont reçu en 2013 le prix Logic in Computer Science Test-of-Time. G. Winskel a obtenu un Advanced Grant de l’ERC sur le thème `Events, Causality and Symmetry’ (ECSYM) en 2011-2017. Il est membre de l’Academia Europaea.

PUBLICATIONS PRINCIPALES

  • Winskel, G., The formal semantics of programming languages, an introduction. MIT Press, January, 1993. An Italian translation is published by UTET Libreria, 1999. A Chinese translation is published by China Machine Press, CITIC Publishing House, 2004. A Japanese version is in preparation.
  • Clairambault P, Gutierrez J, Winskel G. The Winning Ways of Concurrent Games. IEEE/ACM Symposium on Logic in Computer Science. IEEE Computer Society, Washington DC, USA. 235-244. 2012.
  • Danos V, Feret J, Fontana W, Harmer R, Hayman J, Krivine J, Thompson-Walsh C, Winskel G. Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models.. Leibniz International Proceedings in Informatics, LIPIcs. 18: 276-288. 2012.
  • Rideau S, Winskel G. Concurrent strategies. 26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011) 409-418 2011.
  • Winskel G. Events, Causality and Symmetry. COMPUT J 54(1):42-57 Jan 2011.
  • Fiore, M., Gambino, N., Hyland, M., and Winskel G., The cartesian closed bicategory of generalised species of structures. Journal of the London Mathematical Society, 77 2, 203-220, Feb 2008.
  • Cattani, G.L., and Winskel, G., Profunctors, open maps and bisimulation. Mathematical Structures in Computer Science 15: 553-614 CUP, 2005.
  • Crazzolara, F., and Winskel, G., Events in security protocols. In proc. the 8th ACM Conference on Computer and Communication Security, Philadelphia, November, 2001. Awarded the British Computer Society Brendan Murphy Memorial Award 2002.
  • Winskel, G. and Nielsen, M., Models for concurrency. A chapter in vol.IV of the Handbook of Logic and the Foundations of Computer Science, Oxford University Press, 1995.
  • Andersen, H.R., Stirling, C., and Winskel, G., A Compositional Proof System for the Modal $\mu$-Calculus. In IEEE Proceedings of LICS 94, Paris, 1994.
  • Joyal, A., Nielsen, M., and Winskel, G., Bisimulation from open maps. In LICS'93 special issue of Information and Computation, vol. 127, no.2, 1996. This paper won the LICS 2013 Test of Time Award.
  • Winskel, G. and Larsen, K., Using information systems to solve recursive domain equations. In Information and Computation, vol.91, no.2, 1991.
  • Winskel, G., Event structures. Invited lectures for the Advanced Course on Petri nets, September 1986. Appears in the proceedings of the school, published in Springer Lecture Notes in C.S., vol.255, 1987.
  • Winskel, G., On powerdomains and modality. In the May issue of Theoretical Computer Science, 1985.

Informations complémentaires

Programme fléché : Mathématiques et informatique fondamentale (MILyon)