Skip to main content

Milan Ceska

Personal photo - Milan Ceska

Dr Milan Ceska

Research Assistant

Leaving date: 30th April 2016


Completed Projects:


Parameter synthesis, model-checking techniques, probabilistic verification, formal analysis of biochemical systems, parallel programming and algorithms, massively parallel architectures


I completed my Ph.D. thesis in the area of data-parallel algorithms for model checking at the Faculty of Informatics, Masaryk University, Brno, Czech Republic in Jun 2012. In spring 2011, I spent 5 months in the Software Technologies Research Group at the Otto-Friedrich-University of Bamberg, Germany as a research assistant and a lecturer in the area of parallel programming under supervision of prof. Gerald Luttgen.  From July 2012, I was a postdoctoral researcher in the Systems Biology Laboratory at the Faculty of Informatics, Masaryk University under supervision of prof. Lubos Brim. From February 2014, I am a postdoctoral researcher at Department of Computer Science at Oxford University in the group led by prof. Marta Kwiatkowska.


See here.

Selected Publications

View AllManage publications