BME-MIT

Bence Graics is a research fellow at the Department of Measurement and Information Systems in the Critical Systems Research Group (ftsrg). His research field is the model-driven development and verification of component-based reactive systems using formal methods. He has been the main developer of the Gamma Statechart Composition Framework, a modeling framework for the component-based design and analysis of reactive systems. As a visiting researcher, he spent three months at the National Institute for Space Research of Brazil (INPE) in the context of the H2020 ADVANCE project, as well as two months at the Bruno Kessler Foundation (FBK) in Trento, Italy. He presented his work at conferences, such as ICSE'18, MODELS'20, DepCoS'21, FMICS'23 and FACS'23, and in the Software and Systems Modeling (SoSyM) and Systems Engineering (SE) journals. He participated in the VKE-2018 industrial project that comprised the design and verification of a distributed electronic railway interlocking system. He has been the supervisor of 7 bachelor's and 1 master's theses, as well as the co-supervisor of 4 Academic Students Conference (TDK) reports, all of which were awarded a 1st or 2nd prize.