Projects

CALF: Categorial Automata Learning Framework

CoNeCo: Concurrency, Networks, and Coinduction

Probabilistic Foundations for Networks