Rebeka Farkas

Summer schools:

• 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, Germany, Carl von Ossietzky University

Presentations:

• Learning timed automata with Cypher, Neo4j meetup (Budapest, 2018)