• Sign in
  • Sign up
conf.researchr.org / Rayna Dimitrova
  • APLAS 2019 profile
  • ICSE 2023 profile
  • PLDI 2019 profile
  • POPL 2016 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • SPLASH 2021 profile
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

2025

POPL

  • Author of Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis within the POPL-track

2024

POPL

  • Author of Solving Infinite-State Games via Acceleration within the POPL-track

VMCAI

  • Co-chair in Program Committee within the VMCAI 2024-track
  • Session Chair of Session 1: Openning, Keynote, SAT, SMT and Automated Reasoning (part of VMCAI 2024)

2023

FormaliSE

  • Committee Member in Program Committee within the FormaliSE 2023-track

VMCAI

  • Committee Member in Program Committee within the VMCAI 2023-track

2022

VMCAI

  • PC Member in Program Committee within the VMCAI 2022-track

2021

APLAS

  • Committee Member in Program Committee within the Research Papers-track

VMCAI

  • Committee Member in Program Committee within the VMCAI-track
  • Session Chair of Applications (part of VMCAI)

2020

VMCAI

  • Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track
  • PC Member in Program Committee within the VMCAI 2020-track

2019

APLAS

  • Ordinary PC member in Program Committee within the Research Papers-track

PLDI

  • Committee Member in Student Research Competition (SRC) within the Student Research Competition (SRC)-track

2016

VMCAI

  • Committee Member in Program Committee
Share
xSun 15 Jun 12:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up