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
Personal website: https://www.tiferrei.com
Research interests:Automata Learning, Model Verification

Contributions

Show activities from other conferences

Using general profile