conf.researchr.org / Nikos Tzevelekos
Nikos Tzevelekos

Registered user since Tue 7 Aug 2018

Name:Nikos Tzevelekos
Affiliation:Queen Mary University of London
Personal website:http://www.tzevelekos.org
Research interests:Programming Language Semantics, Verification, Automata

Contributions

ML 2021 Author of Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques within the ML 2021-track
ICFP 2021 Author of Theorems for Free from Separation Logic Specifications within the Research Papers-track
PERR 2019 Co-chair in Program Committee within the PERR-track
Co-chair in Organizing Committee within the PERR-track
GaLoP 2019 Author of A Framework for Compositional Model Checking within the GaLoP-track
Committee Member in Program Committee within the GaLoP-track