Nikos Tzevelekos

I am a research student at the Comlab under the supervision of Prof. Samson Abramsky.
I am a member of the Foundations of Computation group, and of Brasenose College.

I am interested in semantics for programming languages. My current research is on nominal game semantics.

Full abstraction for nominal exceptions, submitted (2008). pdf
Full abstraction for nominal general references, in LiCS’07: Proceedings of the 22nd IEEE Annual Symposium on Logic in Computer Science (2007). pdf
Nominal pi-calculus and nominal automata (2006). pdf
Investigations on the Dual Calculus, in Theoretical Computer Science 360(1-3): 289-326 (2006). pdf
Many-Valued Multiple-Expert modal models, in UNILOG’05: Proceedings of the First World Congress and School on Universal Logic (2005). pdf
An empirical local convergence study of alternative coordination schemes in analytical target cascading. Joint work with M. Kokkolaras, P.Y. Papalambros, M.F. Hulshof, L.F.P. Etman and J.E. Rooda, in Proceedings of the 5th World Congress on Structural and Multidisciplinary Optimization (2003).

Full abstraction for nominal exceptions and general references, at GaLoP III: Games for Logic and Programming Languages, April 2008, Budapest. pdf
Full abstraction for nominal general references, at LiCS’08: 22nd IEEE Annual Symposium on Logic in Computer Science, July 2007, Wroclaw. pdf pdf 4x
Full abstraction for nominal general references, at Mathematical Theories of Abstraction, Substitution and Naming in Computer Science, May 2007, ICMS, Edinburgh. pdf

I was the lecturer and class tutor for the 07/08 Michaelmas Term MSc/MFoCs course on Categories Proofs and Processes.
I was the class tutor for the 06/07 Hilary Term MSc/MFoCS course on Domain Theory.
I was the class tutor for the 06/07 Michaelmas Term MSc/MFoCs course on Categories Proofs and Programs.

It is something like "jevelehkoss".