Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ekaterina Zhuchko
conf.researchr.org general profile
POPL 2024 profile
POPL 2025 profile
Registered user since Tue 10 Sep 2024
Name:
Ekaterina Zhuchko
Affiliation:
Tallinn University of Technology
Contributions
2025
POPL
Author of Symbolic Automata: omega-Regularity Modulo Theories within the POPL-track
Committee Member in Student Volunteers
2024
POPL
Session Chair of Friday Lunch Session Previews (part of Session Previews)
CPP
Author of Lean Formalization of Extended Regular Expression Matching with Lookarounds within the CPP 2024-track
Share
x
Sat 17 May 07:11