Rozhovor s oceněným doktorandem z FIT VUT. Michal Hečko: Fascinuje mě objevovat principy fungování věcí

Michal Hečko z Ústavu inteligentních systémů FIT VUT získal v březnu prestižní ocenění v soutěži Brno Ph.D. Talent. Jeho výzkum v oblasti formální verifikace nabývá na praktickém významu ruku v ruce s tím, jak počítačové systémy prostupují všemi aspekty našeho života.

Díky v podstatě náhodě a současně i podpoře doktora Ondřeje Lengála se Hečko dostal od bakalářské práce o řešení lineární celočíselné aritmetiky pomocí automatů až k publikaci na prestižní konferenci CAV 2024, což odstartovalo jeho vědeckou kariéru. Dnes se zabývá zkoumáním logických formulí popisujících vlastnosti softwarových systémů a jejich splnitelnosti, tedy staví na matematické logice základy formální verifikace systémů – což má významné praktické dopady. „Čím víc používáme počítače, tím častěji můžeme najít situace, kdy chyba v softwaru může vést k obrovským ztrátám. Proto je stále důležitější umět formálně dokázat, že chyba nenastane,“ zdůrazňuje Hečko, který svou náročnou práci považuje za mimořádně uspokojující právě pro její složitost a důležitost.

Celý rozhovor s naším úspěšným doktorandem si můžete přečíst na webu zVUT.cz