conf.researchr.org / Nikos Tzevelekos
![Nikos Tzevelekos](https://conf.researchr.org/getProfileImage/nikostzevelekos/684bdc1b-e7ce-4e5c-ba6a-dbef9d1bf1b1/small.jpg?1711537673000)
Registered user since Tue 7 Aug 2018
Name:Nikos Tzevelekos
Country:United Kingdom
Affiliation:Queen Mary University of London
Personal website: http://www.tzevelekos.org
Research interests:Programming Language Semantics, Verification, Automata
Contributions