Nikos Tzevelekos

Nikos Tzevelekos

Research Assistant

nikt at comlab.ox.ac.uk
(0)1865 273825

Wolfson Building, Parks Road, Oxford OX1 3QD

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 as a postdoc researcher working on logic for interaction and information flow.

links

publications, talks, teaching

info

themes	Foundations, Logic and Structures
activities	Metacomputation \| Game Semantics and its Applications
projects	LINT