Milan Ceska

Brno University of Technology

  • Joined February 2022

Names

Milan Ceska (Preferred)

Emails

****@fit.vutbr.cz (Confirmed)

Personal Links

Education & Career History

Associate Professor
Brno University of Technology (vutbr.cz)
2021 – Present
 

Advisors, Relations & Conflicts

No relations added

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