Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kristina Sojakova
conf.researchr.org general profile
Dutch Formal Methods Day 2025 profile
ICFP 2021 profile
PLDI 2026 profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Wed 10 Nov 2021
Name:
Kristina Sojakova
Country:
Netherlands
Affiliation:
Vrije Universiteit Amsterdam
Contributions
2026
PLDI
Author of Pantomime: Constructive Leakage Proofs via Simulation within the PLDI Research Papers-track
2024
POPL
Committee Member in Selection Committee within the Student Research Competition-track
Committee Member in Program Committee within the POPL-track
2023
SPLASH
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
POPL
Author of A Core Calculus for Equational Proofs of Cryptographic Protocols within the POPL-track
2022
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
2021
ML Family Workshop
Committee Member in Program Committee within the ML 2021-track
Share
x
Sun 12 Jul 01:31