![Nikos Tzevelekos](https://icfp21.sigplan.org/getProfileImage/nikostzevelekos/319ca05f-4f39-470d-aa5d-19084b8062c2/small.jpg?1711520397000)
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
ICFP 2021-profile
View general profile
View general profile