ICFP 2021
Sun 22 - Sat 28 August 2021
Nikos Tzevelekos

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

ML 2021 Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques
ICFP 2021 Theorems for Free from Separation Logic Specifications
Show activities from other conferences

ICFP 2021-profile
View general profile