An image of me

Contact

IMDEA Software Institute
Office 342
Campus de Montegancedo s/n
28223 - Pozuelo de Alarcón
Madrid, Spain

+34 91 101 2202 ext 4333

Kyveli Doveri

I completed my PhD in 2024 under the supervision of Pierre Ganty.

Research interests

  • Automata theory and Formal Languages
  • ω-Languages

Publications

  • K. Doveri, P. Ganty, C. Weil-Kennedy.
    A Uniform Framework for Language Inclusion Problems [link]
    Javier60
  • K. Doveri, P. Ganty, L. Hadži-Đokić.
    Antichains Algorithms for the Inclusion Problem Between ω-VPL [link]
    TACAS'23

  • K. Doveri, P. Ganty, N. Mazzocchi.
    FORQ-based Language Inclusion Formal Testing [pdf]
    CAV'22

  • K. Doveri, P. Ganty, F. Parolini, F. Ranzato.
    Inclusion Testing of Büchi Automata based on Well-Quasiorders [pdf]
    CONCUR'21