Tóthné Farkas Rebeka
tudományos segédmunkatárs
Tóthné Farkas Rebeka a Kritikus Rendszerek Kutatócsoport tagja.
Farkas Rebeka jelenleg tudományos segédmunkatársként dolgozik a tanszéken. Kutatási tereletei közé tartozik a formális verifikáció, modell alapú teszt- és benchmarkkészletek összeállítása és elemzése, hatékony FMI-alapú szimuláció, illetve modell-alapú szoftverfejlesztés nagy nyelvi modellek (LLM) segítségével. A kutatás mellett nemzetközi projektekben, ipari valamint akadémiai együttműködésben is is részt vesz
Oktatott tárgyai
Ebben a félévben nem oktat egyetlen tárgyat sem.
BME-MIT
Google Scholar