Clemens Kupke


I am a Research Associate at the Imperial College London working with Dirk Pattinson on the project "Coalgebraic Modal Logic: Fixpoints and Nested Modalities".

Address

Imperial College London
Department of Computing
180 Queen's Gate
London SW7 2AZ
United Kingdom

Tel. +44 20 759 48180
Room Nr. 433 (Huxley Building)

Publications

People

Our LogIC seminar


ckupkeeee@doc.ic.ac.uk (one e is enough)