computer science

About Me

I graduated from the University of Amsterdam, ILLC, in February 2010. Since September 2009 I am a Graduate Teaching Assistant and PhD Student in Computer Science at the University of Leicester. My supervisor is Roy Crole.

Research

I have a very general interest in theortical computer science, and there particularly in semantics of programming languages. In my current work I am focusing on showing that various results in categorical logic (proof techniques) also hold in a nominal setting.

Teaching

• CW 301 Help Desk: TBA


• Spring term 2011-2012:
  • CO1097: Internet Computing, more information on Blackboard
  • CO1016: Computer Systems

Publications

• F.Nebel: Graph-based Coalitional Games - An Analysis via Characteristics Gamecomm 2011 (pdf)

Author: Frank Nebel (fn29 (at) mcs (.) le (.) ac (.) uk), T: +4 (0)116 252 3904.
© University of Leicester September 2009. Last modified: 28th February 2012, 11:25:51.
CS Web Maintainer. Any opinions expressed on this page are those of the author.