Publications. (not always uptodate ... see also dblp and arxiv.)
My main area of research is in the mathematical foundations of computer science. Most of my work applies logic and/or category theory to mathematical problems that arise from applications in software engineering. Typically, the long-term aim is to develop formal methods that support the specification of software and its formal verification. Since the mathematical foundations of software engineering are not yet as well-developped as those for other engineering disciplines, substantial work in pure mathematics is still required. To this end, I pursue research in modal logic, Stone duality, coalgebras, domain theory, order-enriched category theory, nominal techniques, proof theory ... . Much of this could be described as being pure mathematics, with thinking up definitions and proving theorems being the main activity. But I am also interested in tool development based on proof assistants such as Isabelle and based on automated methods such as tableau procedures.
Some topics I am currently working on:
For some years, we have been running informal seminars around categories/logic/semantics. Thanks to Tadeusz Litak, there is a webpage. Since he left to Erlangen it is maintained only irregularly.
AiML 2018: Advances in Modal Logic. Bern, Switzerland, 27-31 August 2018.
TbiLLC 2017: 12th Tbilisi Symposium on Language, Logic and Computation. 18-22 September, 2017, in Kakheti, Georgia.
MFCS 2017: 42nd International Symposium on Mathematical Foundations of Computer Science. August 21-25, 2017, Aalborg (Denmark).
WoLLIC 2017: 24th Workshop on Logic Language Information and Computation. July 18-21, 2017, University College London.
TACL 2017: 8th conference on Topology, Algebra, and Categories in Logic. Prague, June 26–30, 2017.
MFPS+CALCO: 33rd Conference on the Mathematical Foundations of Programming Semantics and 7th Conference on Algebra and Coalgebra in Computer Science. 12-16 June, 2017, Ljubljana, Slovenia.
ALCOP VIII: Algebra and Coalgebra meet Proof Theory. University of Strathclyde, 10-12 April 2017.
MGS 2017: Midlands Graduate School in the Foundations of Computing Science. 9-13 April 2017, University of Leicester.
Dynamics in Logic IV, October 29th, 2016.
Logics, Decisions, and Interactions, Lorentz Center, 24 Oct 2016 through 28 Oct 2016.
AiML 2016: Advances in Modal Logic. 30 Aug - 2 Sep 2016, Budapest, Hungary.
MGS 2016. Birmingham, 11 - 15 April, 2016.
Algebra and Coalgebra meet Proof Theory ALCOP VII. Vienna, Austria, April 7–9, 2016.
CMCS 2016. Eindhoven, the Netherlands, 2 - 3 April 2016.
Logics for Social Behaviour 3. 8 - 11 February 2016, ETH Zurich.
Workshop on EFFICIENT AND NATURAL PROOF SYSTEMS. Bath, 14-16 December, 2015.
TRENDS IN LOGIC XV, 2015: Logics for Social Behaviour. Delft, 29 June 2015 to 3 July 2015.
CALCO 2015. 6th Conference on Algebra and Coalgebra in Computer Science, Nijmegen 24-26 June, 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.
Author: Alexander Kurz (ak155 at le ac uk), T: +44 (0) 116 252 5356.