People

Bence Graics

Bence Graics works in Imandra research and engineering, applying formal methods to model-based systems engineering and SysML v2. He developed the Gamma Statechart Composition Framework and earned a PhD in Budapest.