ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / 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

PERR 2019Co-chair in Program Committee within the PERR-track
Co-chair in Organizing Committee within the PERR-track
GaLoP 2019Author of A Framework for Compositional Model Checking within the GaLoP-track
Committee Member in Program Committee within the GaLoP-track
Show activities from other conferences

ETAPS 2019-profile
View general profile