|
|
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.
|
|
|
|
