BME-MIT

Rebeka Farkas currently works as a research assistant at the department. Her research interests include formal verification, selecting and evaluating models for test and benchmark suites, efficient FMI-based simulation, and model-based software development using large language models
(LLMs). In addition, she is involved in international projects and industrial and academic collaborations.