BME-MIT

Dániel Szekeres is a PhD student at the Budapest University of Technology and Economics. His main field of research is the efficient analysis of non-functional properties of complex safety-critical systems, concentrating on quantitative properties such as reliability and availability. The primary focus of his research is the calculation of such properties from stochastic system models using abstraction techniques. In connection with this, he is working on the development of a probabilistic extension of the Theta model checking framework. Dániel has presented his work at several international (EDCC'21, ASMTA'24) and local conferences.