World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
45
Citations
14410
World Ranking
7021
National Ranking
425

Research.com Recognitions

  • 2011 - Member of Academia Europaea

Overview

Glynn Winskel is affiliated with the University of Cambridge in the United Kingdom. Their research primarily spans the field of Computer Science with a focus on various subfields including Computational Theory and Mathematics, Artificial Intelligence, Computer Networks and Communications, Management Information Systems, and Information Systems.

The scientist's recent papers reflect a concentration on concurrency, logic, and formal methods. Notable publications include:

  • "Event structures Lecture notes for the Advanced Course on Petri Nets," 2021, CL Technical Reports
  • "Causal Unfoldings and Disjunctive Causes," 2023, Logical Methods in Computer Science
  • "Making Concurrency Functional," 2022, arXiv (Cornell University)
  • "Models and logic of MOS circuits Lectures for the Marktoberdorf Summerschool, August 1986," 2021, CL Technical Reports
  • "Category theory and models for parallel computation," 2021, CL Technical Reports

Their work covers topics related to distributed systems and fault tolerance, logic, programming and type systems, formal methods in verification, logic, reasoning and knowledge, business process modeling and analysis, computability, logic, AI algorithms, and Petri nets in system modeling.

  • Distributed systems and fault tolerance
  • Logic, programming, and type systems
  • Formal Methods in Verification
  • Logic, Reasoning, and Knowledge
  • Business Process Modeling and Analysis
  • Computability, Logic, AI Algorithms
  • Petri Nets in System Modeling

Frequent coauthors include Marc de Visme, Stefan Haar, Simon Castellan, Pierre Clairambault, and Yoàv Montacute. The researcher has published multiple times in venues such as arXiv (Cornell University), CL Technical Reports, Logical Methods in Computer Science, and ACM SIGLOG News.

  • Marc de Visme
  • Stefan Haar
  • Simon Castellan
  • Pierre Clairambault
  • Yoàv Montacute

  • arXiv (Cornell University)
  • CL Technical Reports
  • Logical Methods in Computer Science
  • ACM SIGLOG News

They have been recognized as a Member of Academia Europaea since 2011.

Best Publications

  • The Formal Semantics of Programming Languages: An Introduction

    Glynn Winskel

  • Event structures

    G Winskel

  • Petri nets, event structures and domains, part I

    Mogens Nielsen;Gordon D. Plotkin;Glynn Winskel

  • Models for concurrency

    Glynn Winskel;Mogens Nielsen

  • An Introduction to Event Structures

    Glynn Winskel

  • Bisimulation from Open Maps

    André Joyal;Mogens Nielsen;Glynn Winskel

  • Bisimulation and open maps

    A. Joyal;M. Nielson;G. Winskel

  • Petri Nets, Event Structures and Domains

    Mogens Nielsen;Gordon D. Plotkin;Glynn Winskel

  • Event Structure Semantics for CCS and Related Languages

    Glynn Winskel

  • Events in computation

    Glynn Winskel

  • Petr nets, algebras, morphisms, and compositionality

    Glynn Winskel

  • Relationships Between Models of Concurrency

    Mogens Nielsen;Vladimiro Sassone;Glynn Winskel

  • Distributing probability over non-determinism

    Daniele Varacca;Glynn Winskel

  • Models for concurrency: towards a classification

    Vladimiro Sassone;Mogens Nielsen;Glynn Winskel

  • Using information systems to solve reoursive domain equations effectively

    K. G. Larsen;G. Winskel

  • Events in security protocols

    Federico Crazzolara;Glynn Winskel

  • Petri Nets as Models of Linear Logic

    Uffe Engberg;Glynn Winskel

  • A note on model checking the model n-calculus

    Glynn Winskel

  • CCS with priority choice

    Juanito Camilleri;Glynn Winskel

  • Presheaf Models for the pi-Calculus

    Gian Luca Cattani;Ian Stark;Glynn Winskel

Frequent Co-Authors

Mogens Nielsen
Mogens Nielsen Aarhus University
John Power
John Power Macquarie University
Prakash Panangaden
Prakash Panangaden McGill University
Gordon Plotkin
Gordon Plotkin University of Edinburgh
Vladimiro Sassone
Vladimiro Sassone University of Southampton
A. W. Roscoe
A. W. Roscoe University of Oxford
Kim Guldstrand Larsen
Kim Guldstrand Larsen Aalborg University
Vincent Danos
Vincent Danos École Normale Supérieure
Ugo Montanari
Ugo Montanari University of Pisa
Carl A. Gunter
Carl A. Gunter University of Illinois at Urbana-Champaign

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science opens doors to a variety of academic and career options in the USA. Many students consider combining Computer Science with one of the best majors in college, such as engineering, business, or data analytics, to broaden their skills and employment prospects.

For those seeking flexibility or aiming for career advancement, online graduate programs offer significant appeal. If you’re looking for a fast track to enhance qualifications, you might find an easiest masters degree to get to be an efficient step. These programs help working professionals gain specialized expertise rapidly, often from the comfort of their own home.

Online doctorate programs are also growing in popularity. Students who prioritize affordability can look for options among the cheap doctorate degree online programs, making it more feasible to attain the highest academic credentials.

For those focused on leadership in education and a quick progression, consider the new wave of 1 year edd programs online. These accelerated degrees offer an efficient path to advanced educational roles.

By exploring these related degrees and pathways, students can tailor their academic journey to match their career ambitions and lifestyle needs.

Best Scientists Citing Glynn Winskel

Trending Scientists