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 | Theorems for Free from Separation Logic Specifications | ||||||||||||||||||||||||||||||||||||||||
| ML 2021 | Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2021-profile
View general profile
View general profile