Milan Ceska (Preferred)
Milan Ceska
Associate Professor, Brno University of Technology
- Joined February 2022
Names
Emails
****@fit.vutbr.cz (Confirmed)
Personal Links
Career & Education History
Associate Professor
Brno University of Technology (vutbr.cz)
2021 – Present
Advisors, Relations & Conflicts
Expertise
controller synthesis for partially observable systems
2019 – Present
automated synthesis techniques for probabilistic systems
2018 – Present
approximate computing
2015 – Present
computational analysis of biochemical systems
2014 – Present
quantitative formal methods
2012 – Present
data-parallel graph algorithms
2012 – Present