Universiteit Leiden

nl en

Tobias Kappé

Assistant professor

Name
Dr. T.W.J. Kappé
Telephone
+31 71 527 2727
E-mail
t.w.j.kappe@liacs.leidenuniv.nl

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.

More information about Tobias Kappé

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.
 

Assistant professor

  • Science
  • Leiden Inst of Advanced Computer Science

Work address

Gorlaeus Building
Einsteinweg 55
2333 CC Leiden

Contact

  • Logical Methods in Computer Science (LMCS) Associate Managing Editor
This website uses cookies.  More information.