News

27 May 2025
Check out https://netkat.org, which includes a nice tutorial and playground, all created by the amazing Jules Jacobs!
12 May 2025
I will be teaching courses on Kleene Algebra with Tests (KAT) and verification this summer at CMMRS 2025 and at Summer School Marktoberdorf 2025.
2 Mar 2025
I am co-organizing OPLSS this year and we have an amazing lineup of speakers!
10 Jan 2025
I am excited to give a keynote talk at VMCAI, where I will be presenting some recent exciting results on Outcome Logic, a project led by my graduate student Noam Zilberstein.
1 July 2024
I am on sabbatical this academic year, spending most of my time in London!
2 Jun 2024
I am teaching at OPLSS@BU this week!
1 Nov 2023
I am on maternity leave the coming months, enjoying time with my newborn daughter.
2 Feb 2022
I am one of the unifying speakers at ETAPS'22.
18 Jan 2022
I am excited to teach CS6110 this semester!
3 Dec 2021
I will be giving an invited talk at POPL'22.
18 July 2021
CAV takes place this week with an exciting array of speakers! Videos will be publicly posted after the conference.
20 Jun 2021
I am teaching at OPLSS this week!
12 Feb 2021
I will be absent in the coming months on maternity leave.
1 Feb 2021
I am very excited I will be joining Cornell this fall! Part of my group will remain at UCL, until they graduate or finish their current projects.
30 Mar 2020
Pawel Sobocinski, Jamie Vicary, and I are organising the Online Worldwide Seminar in Logic and Semantics (OWLS), a new online-only biweekly international seminar series, with coffee breaks before and after each seminar giving a nontrivial social component. Join our first seminar at 2pm UTC+1 on Wednesday April 1.
31 Dec 2019
I will be spending my sabbatical in Madison, Wisconsin at UW-Madison, visiting Loris D'Antoni and Justin Hsu. I will also spend some time in Cornell visiting Nate Foster and Dexter Kozen.
18 Dec 2019
Our paper Guarded Kleene Algebra with Tests received a SIGPLAN Distinguished Paper Award!
10 Dec 2019
I am giving an invited talk at FSTTCS 2019, in Mumbai.
23 Aug 2019
I am giving an invited talk at MFCS 2019, in Aachen.
1 July 2019
I am very proud of Dr. Joshua Moerman , who defended his PhD today.
4 Feb 2019
Our group at UCL is hiring a lecturer! Please get in touch if you are interested, happy to answer any questions!
1 Feb 2019
Several postdoc positions available: Simon Docherty, David Pym, and myself are looking for a postdoc. Deadline 25th Feb! Luca Aceto and Anna Ingolfsdottir have a very cool project in Iceland. Bas Luttik and myself are collaborators!
12 Aug 2018
I am very excited to announce that I will receive the BCS Roger Needham Award 2018!
1 Aug 2018
I am giving an invited talk at CiE 2018, in Kiel.
24 June 2018
FLOC 2018 is about to start! I am co-organising the summer school FoPSS 2018 and participating in a variety of conferences and workshops - 3 weeks in Oxford!
1 May 2018
I am visiting the amazing Derek Dreyer and his group at MPI-SWS this week!
26 March 2018
I am giving an invited talk at BCTCS 2018 at RHUL.
10 March 2018
Prakash Panangaden and I are organizing a workshop on Logical Foundations for Data Science at Bellairs.
25 Feb 2018
I am visiting Ana Sokolova this week and giving a talk at the Rise seminar in Vienna.
13 Dec 2017
I am giving an invited talk at Midlands Graduate School Christmas Seminars 2017, in Nottingham.
4 Sep 2017
I am giving an invited talk at FSCD 2017, in Oxford.
12 July 2017
I was awarded the Presburger award 2017.
24 June 2017
I was just promoted to Professor of Algebra, Semantics, and Computation (effective from Oct 1st).
10 April 2017
I am giving an invited talk at RAMICS 2017, in Lyon, and at TACL 2017, in Prague.
20 Feb 2017
The first School on Foundations of Programming and Software Systems (FoPSS) will take place in Portugal and the topic is probabilistic programming. See the website for more details and send your students!
10 Feb 2017
Prakash Panangaden and I are organizing a workshop on probabilistic programming languages at Bellairs.
28 Jan 2017
Submit a paper to FORTE, MFPS, and TbILLC 2017!
2 Nov 2016
I am giving an invited talk at the Van Wijngaarden lectures, organised at the CWI Amsterdam in honor of the Dutch computer scientist Adriaan van Wijngaarden, on the occasion of his 100th birthday and CWI's 60th birthday.
31 Oct 2016
I was awarded the Leverhulme prize.
25 Sept 2016
I have just welcomed 3 new PhD students -- Gerco van Heerdt, Tobias Kappe, and Louis Parlant.
7 Sept 2016
I am giving an invited talk at BLC 2016, in Edinburgh.
29 Aug 2016
I am giving an invited talk at CSL 2016, in Marseille.
9 July 2016
Stephen Magill and I organized the first Logic Mentoring Workshop, which was co-located with LICS 2016.
7 June 2016
I gave an invited talk at ICE 2016, which was co-located with Discotec.
27 Jan 2016
PPLV is organizing a new MSc programme, bringing together deep theoretical subjects and practical program and systems verification. Send us your best undergrads!
13 Jan 2016
PPLV is hiring a new lecturer!
12 Jan 2016
Several postdoc positions at Cornell and UCL to work on NetKAT! To apply please send a CV, research statement, and the names of three references to me, Nate, and Dexter.
15 Dec 2015
I am hiring! Two phd positions open (please reach out!) and two post-doc positions to be announced soon to work on foundations, semantics, and verification of networks.
4 Dec 2015
I was awarded an ERC starting grant!
1 July 2015
Our paper on A Coinductive Framework for Infinitary Rewriting and Equational Reasoning got Best Paper Award at RTA!
20 June 2015
In the fall I will be joining the Programming principles, logic and verification group, at University College London. I will be soon advertising two PhD positions, let me know if you are interested or know someone who might be!
10 June 2015
I will be teaching a course on formal languages and coinduction in the TOPDRIM summer school (Understanding COMPLEXITY and CONCURRENCY through TOPOLOGY of DATA).
10 Feb 2015
Please consider submitting a paper to POPL 2016 and LICS 2016.
28 Nov 2014
I will be giving an invited talk at WoLLIC 2015.
3 Oct 2014
I will be giving an invited talk at CONCUR 2015.
16 Dec 2014
Download and print our master track poster. We thank Hanna Schraffenberger for developing the poster and Judith van Stegeren for developing the master t-shirts whose text inspired and was also included in the poster.
10 May 2014
Please consider submitting a paper to FOSSACS 2015, LICS 2015, ICTAC 2015 and TbiLLC 2015.
3 Apr 2014
Consider joining SIGLOG, the ACM Special Interest Group on Logic and Computation. It is a community organization dedicated to the advancement of logic and computation, and formal methods in Computer Science, broadly defined.
20 Aug 2013
The Journal of Logical and Algebraic Programming (JLAP), which formerly was the Journal of Logic Programming (JLP), has undergone some major changes and has been named Journal of Logical and Algebraic Methods in Programming (JLAMP). Check out the flyer and the official page.
12 Jun 2013
Nijmegen is the only university in the Netherlands offering a Master in the Mathematical Foundations of Computer Science (MFoCS). Find out more information and consider joining/advertising it!
25 Jun 2013
Nijmegen is the first university in the Netherlands to start a bachelor programme in Cyber Security, in sept. 2013. Since several years there is already an English-language master program in cyber security.
Jul 2014
I am organizing a workshop to kick off my VENI project, see here for more info.
Mar 2014
I will be giving an invited talk at TRENDS 2014.
Feb 2014
Please consider submitting a paper to MFPS 2014 and APLAS 2014!
Nov 2013
Prakash Panangaden and I are organizing a workshop on duality and another on probabilistic systems at the Bellairs Research Institute in March 2014.
Aug 2013
I will be giving an invited talk at MFPS 2014.
Jun 2013
I will be giving an invited talk at APLAS 2013 in Melbourne, Australia.
Jun 2013
I will be giving invited talks at FICS 2013 and TbiLLC 2013.
Jun 2013
I have just joined the board of the Halkes Network.
Mar 2013
From 19th April to 20th May 2013, I will be a research visitor at the ENS Lyon, visiting the Plume team.
Nov 2012
Please consider submitting a paper to LICS 2013, Calco 2013 and Calco Tools!
Oct 2012
Interesting article by Moshe Vardi on Predatory Scholarly Publishing.
Oct 2012
Interesting article by Moshe Vardi on conferences and (bad) talks.
Oct 2012
Interesting article by Scott Aaronson about open access.
Sep 2012
Interesting article by Luca Aceto on what does our job as academics consists of: Unveiling the Ivory Tower: The academic's art of work.