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