Nikos Tzevelekos

Nikos Tzevelekos

Doctoral Student
Student, Brasenose College

nikt at comlab.ox.ac.uk

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

Full Abstraction for Nominal Exceptions and General References

Nikos Tzevelekos

No. RR-07-08, Technical Report, Oxford University Computing Laboratory. October 2007.

Investigations on the Dual Calculus

Nikos Tzevelekos

No. RR-04-21, Technical Report, Oxford University Computing Laboratory. November 2004.

themes	Theory and Automated Verification
activities	Game Semantics and its Applications \| Metacomputation
supervisor	Samson Abramsky

Wolfson Building, Parks Road, Oxford OX1 3QD