Bence Graics
Research Associate, PhD in Computer Engineering
- Address
- IB. 414. Magyar Tudósok krt. 2. 1117 Budapest, Hungary
- graics [at] mit.bme.hu
- Phone
- +36 1 463 3579
- Homepage
- https://inf.mit.bme.hu/members/graicsb
Short Bio
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 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.
Education
- 2023 - present: Research fellow, Budapest University of Technology and Economics
- 2019 - 2023: PhD student, Budapest University of Technology and Economics
- 2017 - 2019: Computer Engineering MSc, Budapest University of Technology and Economics
- 2013 - 2017: Computer Engineering BSc, Budapest University of Technology and Economics
Participation in Research Projects
- 2016 - present: Development of Gamma, a modeling framework for the development and verification of component-based reactive systems.
- 2019 - 2023: Prolan-VKE - Verification of a distributed electronic railway interlocking safety logic.
- 2019 - 2024: ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems.
- 2019 - 2020: MTA-BME Lendület - Design and analysis of cyber-physical systems.
Teaching Activities
Current
- Formal Methods (MSc)
Former
- System Modeling (BSc)
- System Design Laboratory (BSc)
- System Design (BSc)
- Software and Systems Verification (MSc)
- Model-Based System Design (MSc)
