Bence Graics
Research Fellow at Budapest University of Technology and Economics
Budapest, Hungary
Summary
👤
Senior🎓
Top SchoolBence Graics is a research fellow at Budapest University of Technology and Economics with 11 years of experience in model-based and model-driven engineering, specializing in formal methods for component-based reactive systems. He progressed from PhD student to research assistant and now fellow at BME, combining rigorous academic training (PhD, MSc, BSc with honours) with practical tooling work on model transformations and verification. His early industry internships at IncQuery Labs involved developing modeling frameworks and benchmarking model transformation tools, showing a knack for bridging research and applied tooling. Bence focuses on making formal verification usable in engineering workflows, and his background suggests strong expertise in automata-based verification and MBSE integration that often goes beyond typical academic specialization.
11 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Computer Engineering, With Honours, Doctor of Philosophy - PhD, Computer Engineering, With Honours at Budapest University of Technology and Economics
Hungarian, English, Russian
Github Skills (23)
composition10
abstraction10
statechart10
code-generation10
formal-verification10
eclipse10
model-checking9
plantuml9
xtext9
textual8
eclipse-installer8
sysml8
algorithms8
visualization6
gatsbyjs3
Programming languages (5)
Github contributions (5)
grbeni/Y2U
Jun 2015 - Sep 2015
Contributions:4 commits, 3 pushes, 1 branch in 2 months
ftsrg/gamma
Nov 2018 - Jan 2023
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
Contributions:9 releases, 406 reviews, 1746 commits in 4 years 2 months
eclipsestatechartcompositionformal-verificationcode-generation
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.