BME-MIT

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