Sam Staton

A photo of me
Room 02.078
Institute for Computing and Information Sciences
Radboud University Nijmegen
Heyendaalseweg 135, 6525 AJ Nijmegen.

Postal address: Postbus 9010, 6500 GL Nijmegen
s.staton at

My research is in foundations for the semantics of programming languages. I am currently working with Bart Jacobs on ERC grant Quantum Computation, Logic, and Security. I am interested in several areas, including:

Quick biography: Researcher in Nijmegen on ERC project Quantum Computation, Logic, and Security (Oct 2013 —). Fixed-term lectureship at Cambridge (Jan 2011 — Oct 2013), partly supported by my grant from the Isaac Newton Trust / EPSRC Strategic Fund, lecturing Discrete mathematics I, Semantics of programming languages, and Category theory and logic. Researcher on the ANR project Curry-Howard and Concurrency Theory at Lab PPS, Paris (June 2010 — Jan 2011). EPSRC Post-Doctoral Research Fellowship in Theoretical Computer Science, at Cambridge: Mathematical Operational Semantics for Data-Passing Processes (June 2007 — May 2010). Research assistant on EPSRC grant Domain Theory for Concurrency — New Categorical Foundations (Jan 2006 — May 2007). PhD Student with Marcelo Fiore (Oct 2002 — Dec 2006).

Publications and preprints

Other people

Responsibilities and events

Programme committee co-chair: 30th Conference on Mathematical Foundations of Programming Semantics (MFPS XXX).

Programme committee member: 3rd ACM-SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2014); Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structured Operational Semantics (EXPRESS/SOS 2014); 11th International Workshop on Domain Theory and Applications (Domains XI); 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013); Workshop on Syntax and Semantics of Low-Level Languages (LOLA 2013); 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013); 21st Conference on Computer Science Logic (CSL 2012), 4th Workshop on Mathematically Structured Functional Programming (MSFP 2012); 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012); 9th Asian Symposium on Programming Languages and Systems (APLAS 2011); 4th Conference on Algebra and Coalgebra (CALCO 2011); 8th International Workshop on Structural Operational Semantics (SOS 2011); 7th International Workshop on Structural Operational Semantics (SOS 2010). External review committee of 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012).

Organizing committee: International Conference on Category Theory (CT 2014); Informal Workshop on Programming with Handlers (Cambridge June 2013).