Örömmel adjuk hírül, hogy Cseppentő Bence sikeresen megvédte doktori disszertációját a Budapesti Műszaki és Gazdaságtudományi Egyetemen. A védésre 2025. június 24-én került sor.

Cseppentő Bence a Műegyetem Villamosmérnöki és Informatikai Karán működő Informatikai Tudományok Doktori Iskola keretében végezte doktori kutatásait. Disszertációjának címe:

„Compositional analysis of communicating timed systems using formal methods”
(Összetett időzített rendszerek formális módszereken alapuló analízise)

Témavezetője: Dr. Kollár Zsolt, habilitált docens