Petr Novotný (Preferred)
Petr Novotný
Faculty of Informatics, Masaryk University
- Joined February 2022
Names
Emails
****@fi.muni.cz (Confirmed)
Personal Links
Education & Career History
Assistant Professor
Faculty of Informatics, Masaryk University (fi.muni.cz)
2018 – Present
Postdoc
Institute of Science and Technology (ist.ac.at)
2015 – 2018
PhD student
Faculty of Informatics, Masaryk University (fi.muni.cz)
2010 – 2015
Advisors, Relations & Conflicts
PhD Advisee
Djordje Zikelic
2019 – Present
Expertise
planning under uncertainty
2017 – 2022
program analysis
2015 – 2022
formal methods
2010 – 2022