Registered user since Thu 1 Aug 2019

Name: Jan Strejcek

Country: Czech Republic

Affiliation: Masaryk University

Personal website: https://www.fi.muni.cz/~xstrejc/

Contributions

VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
TACAS 2019Committee Member in Program Committee within the TACAS 2019-track