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
|
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.
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.
-
CW 301 Help Desk: TBA
-
Spring term 2011-2012:
- F.Nebel: Graph-based Coalitional Games - An Analysis via Characteristics
Gamecomm 2011 (pdf)
| 