Rayna Dimitrova -

Registered user since Fri 4 Sep 2015

Name:Rayna Dimitrova

Bio:

I am a tenure-track faculty at CISPA Helmholtz Center for Information Security.

Affiliation:CISPA Helmholtz Center for Information Security

Personal website:http://raynadimitrova.github.io

Contributions

VMCAI 2024	Co-chair in Program Committee within the VMCAI 2024-track
FormaliSE 2023	Committee Member in Program Committee within the FormaliSE 2023-track
VMCAI 2023	Committee Member in Program Committee within the VMCAI 2023-track
VMCAI 2022	PC Member in Program Committee within the VMCAI 2022-track
APLAS 2021	Committee Member in Program Committee within the Research Papers-track
VMCAI 2021	Committee Member in Program Committee within the VMCAI-track Session Chair of Applications (part of VMCAI)
VMCAI 2020	Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track PC Member in Program Committee within the VMCAI 2020-track
APLAS 2019	Ordinary PC member in Program Committee within the Research Papers-track
PLDI 2019	Committee Member in Student Research Competition (SRC) within the Student Research Competition (SRC)-track
VMCAI	Committee Member in Program Committee