tobias.kap.pe Open in urlscan Pro
2a03:f80:354:37:235:49:23:0  Public Scan

Form analysis
0 forms found in the DOM

Text Content

About Publications Talks Teaching Service

I research and teach at the Leiden Institute of Advanced Computer Science
(LIACS), part of Leiden University. My academic interests include but are not
limited to programming languages, with a particular focus on control flow
(deterministic, probabilistic, concurrent) and equational reasoning about
programs.

In the past, I worked at the Department of Computer Science of the Open
Universiteit, and I was a researcher (Marie Skłodowska-Curie fellow) at the
Institute for Logic, Language and Computation of the University of Amsterdam.

Before that, I was a postdoctoral associate at Cornell University's PL @ Cornell
group. In 2020, completed my PhD at University College London, advised by
Alexandra Silva and Fabio Zanasi. I received an MSc in Computer Science from
Leiden University.

This website collects my publications and talks, as well as the teaching I'm
involved in.


NEWS

2 Oct 2024 A revised version of A Complete Inference System for Skip-free
Guarded Kleene Algebra with Tests is now available on arXiv. It fixes a
technical gap in the original that required some careful arguments. 1 Sep 2024
Started my new position at the LIACS in Leiden! 17 Jul 2024 Feeling very blessed
to be among the people who were awarded one of this year's NWO Veni grants. I'll
be investigating GKAT and decompilation. 9 Jul 2024 This September, I will start
a new position at Leiden University's Leiden Institute of Advanced Computer
Science. Exciting! 12 Jun 2024 If you have an interesting theoretical result
lying around and don't know where to send it, why not consider ICTAC? It's a
nice conference!