Accès direct au contenu

 

logo du site ENS

Logo du Collégium de lyon

Recherche

Accueil  //  Collegium de Lyon // Chercheurs // Séjour 2017-2018

Imprimer

WINSKEL Glynn

DATES DE SEJOUR | DATES OF STAY : du from 01/09/2017 au to 30/06/2018

PAGE PERSONNELLE | WEBPAGE : lien


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 GrundforskningsfondBasic 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. 

BIOGRAPHY: Glynn Winskel rejoined the University of Cambridge Computer Laboratory as professor in 2000. This followed twelve years as professor of computer science at Aarhus University, Denmark. There he was awarded funding to head a Grundforskningsfond research centre, in Basic Research in Computer Science (BRICS). BRICS achieved world acclaim and was one of ten research projects described in the Aarhus University volume celebrating the university's 75th anniversary.

Originally he read mathematics at Cambridge and mathematical logic at Oxford before turning to computer science for his PhD at Edinburgh. This was followed by a period as a Royal Society postdoctoral fellow, when he was invited to join Carnegie Mellon University as a research scientist. In 1984 he left Pittsburgh to take up a lectureship at Cambridge, becoming reader in 1987, leaving for a professorship in Aarhus in 1988.

He has supervised more than twenty PhD students whose subsequent careers have ranged from academia to industry (several are professors, two lead institutes in biomedical informatics, at least one is a CEO and one a university vice-chancellor). His book `The Formal Semantics of programming languages’ (MIT Press) is used internationally and available in Italian and Chinese, and is currently being translated into Japanese.
His research is largely in the foundations of computer science, developing the mathematics with which to understand and analyse computation, its nature, power and limitations. The research leads to applications, sometimes unforeseen and sometimes with a significant delay. One application is to the analysis and verification of security protocols (which won the Brendan Murphy Award for work in security in 2002); his work on Petri nets and event structures is applied in hardware, in model checking and recently in models of trust and in fault diagnosis in distributed systems, and in systems biology (in the analysis of biochemical pathways); his work on models for concurrent computation has had a foundational influence on the subject, forms the basis of a chapter in the OUP Handbook of Logic and Computer Science. Work based on it won the Logic in Computer Science Test-of-Time award in 2013. He was awarded an Advanced Grant from the ERC on `Events, Causality and Symmetry’ (ECSYM), 2011-2017. He is a member of the Academia Europaea.



PROJET DE RECHERCHE : JEUX DISTRIBUES

 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à.

RESEARCH PROJECT: DISTRIBUTED GAMES

In collaboration with researchers in Lyon, the project is to continue to develop and apply a mathematical theory of distributed games, in which a Player (or a team of players) can interact and compete against an Opponent (or a team of opponents) in a highly distributed fashion, without, for instance, enforcing that their moves occur in a sequential fashion, or need to alternate. Although phrased in terms of `Player’ and `Opponent’ the dichotomy Player vs.~Opponent can stand for Process vs.~Environment, Prover vs.~Disprover, or Ally vs.~Enemy. These alternatives indicate the wide range of potential applications in computer science, logic, and beyond.

MOTS-CLÉS | KEYWORDS : Jeux, stratégies, calcul distribué, structures d’événements – Games, strategies, distributed computation, event structures


PUBLICATIONS PRINCIPALES | MAIN PUBLICATIONS :

 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.

 
 

Retour au haut de la page

Mise à jour le 20 septembre 2017
Collégium de lyon