Farkas Rebeka

Nyári iskolák:

• Logical Methods for Safety and Security of Software Systems Summer School 2017, Marktoberdorf, Németország, NATO Advanced Study Institute
• Automatic Verification and Analysis of Complex Systems 2015, Oldenburg, Németország, Carl von Ossietzky Egyetem

Előadások:

• Időzített automatatanulás Cypherrel, Neo4j meetup (Budapest, 2018)

TDK:

• Időzített automaták verifikációja CEGAR-alapú algoritmusokkal (Kari TDK I. díj, OTDK III. díj)
• Absztrakt interpretációt használó keresési stratégiák Petri-háló alapú modellekhez (Kari TDK, II. díj)