Scholar
Tobias Kappé
Google Scholar ID: euiyPg0AAAAJ
Leiden University
Citations & Impact
Citations
394
H-index
12
i10-index
15
Publications
20
Co-authors
8
list available
Contact
Publications
Cited
0
Resume (English only)
Academic Achievements
- Extended abstract 'On Propositional Program Equivalence' is now available on arXiv; 'StacKAT: Infinite State Network Verification' will appear at PLDI 2025 and is now available on arXiv.
Research Experience
- Worked as a researcher (Marie Skłodowska-Curie fellow) at the Institute for Logic, Language and Computation of the University of Amsterdam; was a postdoctoral associate at Cornell University's PL @ Cornell group; worked at the Department of Computer Science of the Open Universiteit.
Education
- Completed PhD in 2020 at University College London, advised by Alexandra Silva and Fabio Zanasi; received MSc in Computer Science from Leiden University.
Background
- Academic interests include programming languages, with a particular focus on control flow (deterministic, probabilistic, concurrent) and equational reasoning about programs.
Miscellany
- Hiring a new PhD student.
