Srđan Krstić

Registered user since Sun 20 Oct 2019

Name: Srđan Krstić

Country: Switzerland

Affiliation: ETH Zürich

Personal website:

Research interests: software engineering, runtime verification, security engineering


FormaliSE 2021 Committee Member in Programme Committee within the FormaliSE 2021-track
FormaliSE 2020 Social Media Chair in Organizing Committee within the FormaliSE 2020-track
SPLASH 2020 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track