CALF Logo

Categorical

Automata

Learning

Framework

modular design and development of automata learning algorithms, with correctness-by-construction guarantees

Main team

Alexandra Silva
Senior Lecturer University College London
Matteo Sammartino
Research Associate Royal Holloway University of London, University College London
Gerco van Heerdt
Research Fellow University College London
Jurriaan Rot
Assistant Professor Radboud University
Joshua Moerman
Postdoctoral Researcher Radboud University
Maverick Chardet
Master's Student ENS Lyon

Collaborators

Clemens Kupke
Lecturer University of Strathclyde
Bartek Klin
Professor Warsaw University
Michał Szynwelski
Ph.D. Student Warsaw University
Tobias Kappé
Postdoctoral Associate Cornell University