PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Tiago Ferreira

Registered user since Mon 15 Jun 2020

Name:Tiago Ferreira
Country:United Kingdom
Affiliation:University College London
Research interests:Automata Learning, Model Verification

Contributions

Show activities from other conferences

Using general profile