Michal Hečko

Making Software Better with Logic

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

Institution: Brno University of Technology, Faculty of Information Technology

Field: Computer science

 

About the project

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.

 

Why science?

I realize that my life is much easier than the one of my ancestors. We do not have to work on the fields from dawn until dusk, ensuring that we do not starve in the winter. Understanding that not all people have this privilege, I believe that I should spend my time responsibly by utilizing my curiosity and hunger for knowledge to try advancing our society.

 

What do I like most about Brno

I like Brno because of its unique combination of being a center of science and technology while being small and peaceful. One can work deeply without distractions while also exchange ideas with Brno's many bright minds.