Srđan Krstić

Registered user since Sun 20 Oct 2019

Name:Srđan Krstić
Affiliation:ETH Zürich
Research interests:software engineering, runtime verification, security engineering


ESEC/FSE 2022 Committee Member in Program Committee within the Tutorials-track
FormaliSE 2021 Committee Member in Programme Committee within the FormaliSE 2021-track
SPLASH 2020 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
FormaliSE 2020 Social Media Chair in Organizing Committee within the FormaliSE 2020-track