Atomic Gliders and CA as Language Generators
VMCAI'26 (accepted)
Dana Fisman, Noa Izsak
Noa Izsak
Doctoral Researcher at the
CISPA Helmholtz Center for Information Security
and Ph.D. student at
Saarland University.
My research focuses on formal methods and verification in distributed and concurrent systems, exploring how learning and grammatical inference can support trustworthy AI.
More about my research ›