Samson Abramsky: Research Students
I am interested in supervising research students in a wide range of topics in the semantics and logic of computation. Look here for a description of my current research interests.Current Students
- Nikos Tzevelekos, Bill Edwards, Ben Jackson, Colin Stephen, Philip Atzemoglou, Jacob Biamonte
Former Students
- Luke Ong, (1988): The lazy lambda-calculus: an investigation into the foundations of functional programming.
- David Fuller, (1989): Partial evaluation and Logic Programming.
- Bent Thomsen, (1990): Calculi for Higher-Order Communicating Systems.
- Ian Mackie, (1994): The Geometry of Implementation: applications of the Geometry of Interaction to language implementation.
- Simon Gay, (1995): Linear Types for Communicating Processes.
- Guy McCusker, (1996): Games and Full Abstraction for a functional metalanguage with recursive types.
- Rajagopal Nagarajan, (1997): Typed Concurrent Programs: Specification and Verification.
- James Laird, (1999): A Semantic Analysis of Control.
- Jose Espirito Santo, (2002): Conservative extensions of the lambda-calculus for computational interpretations of the sequent calculus.
- Juliusz Chroboczek, (2003): Game Semantics for Subtyping.
- Jan Jurjens, (2004): Principles for Secure Systems Design.
- Ross Duncan, (2007): Types for Quantum Computing.