Personal profile

Research interests

Semantics of programming languages and logics, especially game semantics and quantitative semantics. Logical approaches to decision making, particularly for information security. Programming language theory. 

Willing to supervise doctoral students

I welcome applications from prospective PhD students with interests in semantics of programming languages and logic in computer science. 


Dive into the research topics where Guy McCusker is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles