• Sign in
  • Sign up
conf.researchr.org / Ekaterina Zhuchko
  • POPL 2024 profile
  • POPL 2025 profile
No Photo

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
xMon 12 May 10:38
using conf.researchr.org (v1.69.0)
Support page
Sign Up