## ABOUT |

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: - 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, Sam Balco, 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. Since 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)
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. Former events |

Author: |