Gordon Plotkin

Gordon Plotkin is an active contributor to the field of Computer Science, particularly in Programming Languages and Formal Verification. He has presented research at prominent conferences like POPL, authoring papers on topics such as Dijkstra Monads for Free (2017) and Some Principles of Differential Programming Languages (2018).

His research interests span

• Formal semantics of programming languages
• Probabilistic and differential programming
• Network verification techniques

These are reflected in his conference contributions and committee roles.

Plotkin has served as a Committee Member in the Program Committee for tracks such as PPS (2017), demonstrating his engagement in academic leadership and peer evaluation.