Michal Hečko

Making Software Better with Logic

Školitel: prof. Ing. Tomáš Vojnar, Ph.D. and Ing. Ondřej Lengál Ph.D.

Instituce: Brno University of Technology, Faculty of Information Technology

Obor: Computer science

 

O projektu

Naše společnost se stala závislou na počítačích prakticky ve všech oblastech našeho života. Když je cena za chybu počítače vysoká, obracíme se na formální verifikaci, abychom matematicky dokázali, že se software chová podle našich očekávání. Základy formální verifikační logiky a rozhodovacích postupů jsou však plné problémů se škálovatelností a skrývají mnoho otevřených problémů. Můj projekt se zabývá těmito problémy s cílem připravit cestu pro budoucnost s bezpečným a robustním softwarem.

 

Proč dělám vědu?

Uvědomuji si, že můj život je mnohem jednodušší než život mých předků. Nemusíme pracovat na polích od svítání do soumraku, abychom v zimě neumřeli hlady. Chápu, že ne všichni lidé mají toto privilegium, a věřím, že bych měl svůj čas trávit zodpovědně tím, že využiji svou zvědavost a touhu po poznání a pokusím se naši společnost posunout kupředu.

 

Proč mám rád/a Brno

Brno mám rád pro jeho jedinečnou kombinaci toho, že je centrem vědy a techniky a zároveň je malé a klidné. Člověk může hluboce pracovat, aniž by ho něco rozptylovalo, a zároveň si může vyměňovat myšlenky s mnoha brněnskými bystrými mozky.