Nikos Tzevelekos

I am a postdoc researcher at the Comlab working with Prof. Samson Abramsky.
I am a member of the Foundations of Computation group, and of Brasenose College.

Research interests

I am interested in semantics of programming languages. I completed my DPhil thesis in 2008 on nominal game semantics and right now I am working on the Logic for Interaction and Information Flow project.

Publications

• Functional Reachability, joint work with Luke Ong, to appear in LiCS’09: Proceedings of the 24th IEEE Annual Symposium on Logic in Computer Science (2009). pdf
  
  
• Full abstraction for Reduced ML, joint work with Andrzej Murawski, in FoSSaCS’09: Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (2009).
  
  
• Nominal Game Semantics, DPhil thesis, Oxford University Computing Laboratory, Trinity 2008. pdf
  
  
• Full abstraction for nominal exceptions, submitted (2008). pdf
  
  
• Full abstraction for nominal general references, journal version, to appear in LMCS (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. Awarded the Kleene Award for Best Student Paper in LiCS'07.
  
  
• 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). pdf

Talks

• Functional Reachability, at AVoCS'09: 9th International Workshop on Automated Verification of Critical Systems, September 2009, Gregynog, Wales. pdf

• Functional Reachability, at LiCS'09: 24th IEEE Annual Symposium on Logic in Computer Science, August 2009, Los Angeles. pdf

• Full abstraction for Reduced ML, at FoSSaCS’09: Foundations of Software Science and Computation Structures, March 2009, York. pdf

• Nominal Techniques: from Nominal Logic to Nominal Games, at LINT: Workshop on Logic for Interaction, December 2008, Amsterdam. pdf

• 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’07: 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

Teaching

• I am the lecturer for the 09/10 Michaelmas Term PartB/MSc/MFoCs course on Lambda Calculus and Types.
  

• 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 07/08, 08/09 Hilary Term MSc/MFoCS course on Game Semantics.
  

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

Pronunciation

It is something like "jevelehkoss".