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)