Skip to main content

Milan Ceska

Personal photo - Milan Ceska

Dr Milan Ceska

Research Assistant

Leaving date: 30th April 2016

Themes:

Completed Projects:

Interests

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

Biography

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.

Publications

See here.

Selected Publications

View AllManage publications

Activities