Registered user since Mon 15 Jun 2020
Name:Tiago Ferreira
Country:United Kingdom
Affiliation:University College London
Personal website: https://www.tiferrei.com
Research interests:Automata Learning, Model Verification
Contributions
Using general profile