• 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

GaLoP

  • Session Chair of Session 2 (part of GALOP 2024)
  • Co-chair in Program Committee within the GALOP 2024-track
  • Author of Fully Abstract Normal Form Bisimulation for Call-by-Value PCF within the GALOP 2024-track
  • Committee Member in Organising Committee within the GALOP 2024-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
xSat 10 May 02:55
using conf.researchr.org (v1.69.0)
Support page
Sign Up