Projects

Current projects

image

CALF: Categorical Automata Learning Framework

img

CoNeCo: Concurrency, Networks, and Coinduction

image

Probabilistic Foundations for Networks