Jan Strejcek -

Registered user since Thu 1 Aug 2019

Name:Jan Strejcek

Country:Czechia

Affiliation:Masaryk University

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

Contributions

2022

Static Analysis Symposium

Author of Case Study on Verification-Witness Validators: Where We Are and Where We Go within the SAS-track

2021

Static Analysis Symposium

Author of Backward Symbolic Execution with Loop Folding within the SAS-track

2020

VMCAI

PC Member in Program Committee within the VMCAI 2020-track

2019

TACAS

Committee Member in Program Committee within the TACAS 2019-track