Regular biography
Gordon Plotkin is a Professor in the Department of Computer Science at The University of Edinburgh. His research interests include areas within computer science, though specific details are not provided. He can be contacted via email at G.Plotkin@ed.ac.uk, and further information about his work is available on his profile page at https://www.ed.ac.uk/Gordon_Plotkin.html.
Scholar-generated biography
Gordon Plotkin is a researcher at the School of Informatics, University of Edinburgh, known for his foundational contributions to theoretical computer science. His work focuses on the semantics of programming languages, particularly through the lens of operational semantics and category theory. Plotkin's research explores the structure of computational processes, the formalization of programming languages, and the mathematical underpinnings of computation. His publications address topics such as λ-calculus, type theory, and the semantics of concurrency and distributed systems. His work has significantly influenced the development of formal methods in computer science.