Farkas Rebeka
Doktorandusz, okleveles mérnökinformatikus
- Cím
- H-1117 Budapest, Magyar tudósok körútja 2., I épület, B.417. szoba
- farkasr [at] mit.bme.hu
- Telefon
- 36 1 463-3579
- Honlap
- https://inf.mit.bme.hu/members/farkasr
Kutatási területek
-
Formális módszerek
- Petri hálók elérhetőségi analízise
- Időzített rendszerek verifikációja
- Ellenpélda-vezérelt absztrakció finomítás
- Absztrakt interpretáció
- Modellellenőrző algoritmusok benchmarkolása
-
Kiberfizikai rendszerek szimulációja, verifikációja
- Hibrid rendszerek verifikációja
- Időzített rendszrek automatatanulás-alapú monitorozása
- Szimulációs lépésköz adaptív változtatása
- Komplex eseményfeldolgozás
További tudományos tevékenyésg
Oktatási tevékenység
-
Tanszéki oktatási tevékenység
- Rendszermodellezés
- Kritikus beágyazott rendszerek
- Formális módszerek
-
További oktatási tevékenység
- Nyelvek és automaták
- Bevezetés a számításelméletbe 2.
- Algoritmuselmélet
- Kombinatorikus optimalizáció (Aquincum Institute of Technology)
Díjak
- ProProgressio legjobb diplomaterv 2017
- TDK I. díj, OTDK III. díj 2016
- Legjobb MSc előadő a Doktorandusz miniszimpóziumon 2016
