• Sign in
  • Sign up
conf.researchr.org / Nikos Tzevelekos
  • ETAPS 2019 profile
  • ICFP 2021 profile
  • POPL 2024 profile
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

2024

POPL

  • Committee Member in Program Committee within the POPL-track

2021

ICFP

  • Author of Theorems for Free from Separation Logic Specifications within the Research Papers-track

ML

  • Author of Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques within the ML 2021-track

2019

GaLoP

  • Author of A Framework for Compositional Model Checking within the GaLoP-track
  • Committee Member in Program Committee within the GaLoP-track

PERR

  • Co-chair in Program Committee within the PERR-track
  • Co-chair in Organizing Committee within the PERR-track
Share
xTue 3 Oct 17:02
using conf.researchr.org (v1.61.3)
Support page
Sign Up