Paulína Ayaziová
I am a PhD student at the Faculty of Informatics, Masaryk University in Brno, Czech Republic, where I work under the supervision of prof. Jan Strejček in the Laboratory of Formal Methods and Algorithms.
My primary research interests are software verification and analysis, with particular focus on verification witnesses and cooperative verification.