Petr Vojnar

Petr Vojnár je český akademik a vědec zabývající se především formálními metodami a verifikací softwaru. Narodil se v roce 1968 v Praze a vystudoval Matematicko-fyzikální fakultu Univerzity Karlovy. Po doktorátu na Technické univerzitě v Mnichově se stal profesorem na Fakultě informatiky Masarykovy univerzity v Brně. Vojnár je známý svým přínosem v oblasti verifikace softwarových systémů. Zaměřuje se zejména na model checking, který je technikou formální verifikace, a navrhuje pokročilé metody pro zvýšení efektivity tohoto procesu. Jeho výzkum se také zaměřuje na paralelní a distribuované systémy, kde zkoumá jejich formální popis a ověřování. Vojnár je autorem více než 200 publikací, které vyšly v prestižních odborných časopisech a na mezinárodních konferencích. Je členem několika vědeckých společností a organizací v České republice i v zahraničí. V roce 2010 získal Cenu České informatické společnosti za významný přínos v oblasti informatiky. Kromě vědecko-výzkumné činnosti se Vojnár také věnuje pedagogické činnosti na Masarykově univerzitě. Vedl řadu diplomových a disertačních prací a získal ocenění za svou pedagogickou činnost od studentů. V současné době Petr Vojnár působí jako vedoucí výzkumu v Nadnárodním superpočítačovém centru v Brně a je členem několika mezinárodních vědeckých výborů. Jeho práce a přínosy jsou významné pro celou oblast formální verifikace a verifikace softwarových systémů.