Bence Graics
PhD Student, MSc 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 PhD student at Budapest University of Technology and Economics. His research field is the model-driven development and verification of component-based reactive systems using formal methods. He is the main developer of the Gamma Statechart Composition Framework, a modeling framework for the component-based design and analysis of reactive systems. He presented his work at conferences, such as ICSE'18, and MODELS'20, and in the Software and Systems Modeling (SoSyM) journal.
Education
- 2019 - present: 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 - present: Prolan-VKE - Verification of a distributed electronic railway interlocking safety logic.
- 2019 - present: 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)
