Yahoo Web Search

Sign In

Search results

  1. en.wikipedia.org › wiki › Gordon_PlotkinGordon Plotkin - Wikipedia

    Gordon David Plotkin, FRS FRSE MAE (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics.

  2. Images

    • Gordon Plotkin - Alchetron, The Free Social Encyclopedia
    • Gordon Plotkin - Alchetron, The Free Social Encyclopedia
    • About Us - Inwork
    • Author of Memories Dream & the Grid Book Series | Gordon Plotkin
    • Gordon Plotkin: "Does recursion help?" (Special seminar in honour of ...

    View all

  3. www.research.ed.ac.uk › en › personsGordon Plotkin — University of Edinburgh Research Explorer

    Biography. Gordon Plotkin was elected a Fellow of the Royal Society in 1992, is a Fellow of the Royal Society of Edinburgh and a Member of the Academia Europaea. He is also a winner of the Royal Society Wolfson Research Merit Award.

  4. gordonplotkinbooks.comGordon Plotkin: Author of Best Literary & Historical Fiction ...

    Explore the captivating world of Gordon Plotkin's literary and historical fiction masterpieces. Immerse yourself in timeless tales crafted by a celebrated author. Discover your next must-read today!

  5. www.amacad.org › person › gordon-plotkinGordon Plotkin | American Academy of Arts and Sciences

    May 25, 2024 · Gordon Plotkin is a theoretical computer scientist and Professor at the University of Edinburgh. He is regarded for his structural approach for computer programming, which established a semantic framework for programming languages and helped to standardize computer science.

  6. homepages.inf.ed.ac.uk › gdpGordon Plotkin

    Professor Gordon Plotkin. Laboratory for Foundations of Computer Science School of Informatics Informatics Forum 10 Crichton Street. Edinburgh EH8 9AB, UK. gdp AT inf DOT ed DOT ac DOT uk. Office: IF 4.32 Phone: +44 131 650 5158.

  7. Videos

    View all

  8. research.google › people › gordon-plotkinGordon Plotkin - Google Research

    Gordon Plotkin Ningning Xie NeurIPS Machine Learning for Systems Workshop (2023) Preview Preview abstract Choice-based learning is a programming paradigm for ...

  9. www.inf.ed.ac.uk › people › staffGordon Plotkin - School of Informatics, University of Edinburgh

    Gordon Plotkin. Applications of logic, especially: the denotational and operational semantics of programming languages; type-theory; domain-theoretic and categorical analyses of computation; general proof theory; the semantics of natural language; process calculi and computational biology.

  10. People also ask

  1. Related searches

    People

    Show more

  2. Searches related to Gordon Plotkin

    gordon plotkin md beverly hillsgordon plotkin m.d
    dr gordon plotkin
  2. People also search for