EPSRC logo
Researcher Details
 
Name: Dr N Tzevelekos
Organisation: Queen Mary University of London
Department: Sch of Electronic Eng & Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/P004172/1 System-Level Game Semantics: A unifying framework for composing systems(P)
Previous EPSRC Support
EP/L022478/1 Program Reasoning with Nominal Game Semantics(P)
EP/J019577/1 Game Semantics for Java Programs(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator