University of Leicester

cms

STAFF — Frank Nebel  MSc

Graduate Teaching Assistant, PhD Student
G1 Ken Edwards Building
School of Computing and Mathematical Sciences,
University of Leicester,
University Road,
Leicester,
LE1 7RH.

T: +4 (0)116 252 3904
E: fn29 (at) mcs (.) le (.) ac (.) uk

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

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
CMS Web Maintainer. Any opinions expressed on this page are those of the author.