University of Leicester

computer science

STAFF — Alexander Kurz  Maitrise d'Informatique (Universite de Grenoble), Dipl.-Inform. (TU München), Dr.rer.nat. (LMU München)

Professor
F2 Computer Science Building
Department of Computer Science,
University of Leicester,
University Road,
Leicester,
LE1 7RH.

T: +44 (0) 116 252 5356
E: ak155 at le ac uk


Publications. (not always uptodate ... see also dblp and arxiv.)

Some topics I am currently working on:
  • Coalgebraic logic, in particular using enriched category theory. This is being developed in collaboration with Marta Bilkova, Adriana Balan, Daniela Petrisan, and Jiri Velebil.
  • Nominal automata with Emilio Tuosto and Tomoyuki Suzuki.
  • Nominal sets and lambda calculus with Daniela Petrisan, Paula Severi, and Fer-Jan de Vries.
  • Proof theory of dynamic logics, in collaboration with the applied logic group at Delft and, in particular, Giuseppe Greco, Sabine Frittella, Alessandra Palmigiano.

For some years, we have been running informal seminars around categories/logic/semantics. Thanks to Tadeusz Litak, there is a webpage. Now he left to Erlangen it is maintained only irregularly.

Grants.


Some Events (I am planning to go to or support otherwise or simply want to advertise)

CALCO 2015. 6th Conference on Algebra and Coalgebra in Computer Science. Nijmegen ??-??-2015.

MGS 2015. Sheffield, April 7-11, 2015. .

BEYOND 2014. December 03-05, 2014 - University of Florence - Italy.

Lorentz Center Workshop Logics for Social Behaviour. 10 Nov 2014 through 14 Nov 2014. Notes, slides, etc

AiML 2014. Groningen, August 5-8, 2014.

ALCOP 2014. Algebra and Coalgebra meet Proof Theory 15 - 16 May 2014.

MGS 2014. Nottingham, 22-26 April 2014.



Former events


| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

Author: Alexander Kurz (ak155 at le ac uk), T: +44 (0) 116 252 5356.
© University of Leicester. Last modified: 12th November 2014, 23:34:32.
CS Web Maintainer. Any opinions expressed on this page are those of the author.