Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kristina Sojakova
conf.researchr.org general profile
ICFP 2021 profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Wed 10 Nov 2021
Name:
Kristina Sojakova
Country:
France
Affiliation:
Inria
Contributions
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
Committee Member in Program Committee within the ML 2021-track
Share
x
Mon 4 Dec 00:31