![Nikos Tzevelekos](https://popl24.sigplan.org/getProfileImage/nikostzevelekos/b423ec3c-397e-4a78-9239-2fa746f9f40a/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
2024
POPL 2024-profile
View general profile
View general profile