Milan Ceska
Dr Milan Ceska
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
-
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
A. Abate‚ L. Brim‚ M. Češka and M. Kwiatkowska
In Computer Aided Verification (CAV). Vol. 9206 of LNCS. Pages 195−213. Springer Berlin Heidelberg. 2015.
Details about Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks | BibTeX data for Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks | DOI (10.1007/978-3-319-21690-4_12)
-
Robustness Analysis of Stochastic Biochemical Systems
M. Česka‚ D. Šafránek‚ S. Dražan and L. Brim
In PloS one. Vol. 9. No. 4. Pages e94553. 2014.
Details about Robustness Analysis of Stochastic Biochemical Systems | BibTeX data for Robustness Analysis of Stochastic Biochemical Systems | DOI (10.1371/journal.pone.0094553)
-
Precise parameter synthesis for stochastic biochemical systems
M. Češka‚ F. Dannenberg‚ M. Kwiatkowska and N. Paoletti
In Computational Methods in Systems Biology (CMSB). Vol. 8859 of LNCS. Pages 86–98. Springer Berlin Heidelberg. 2014.
Details about Precise parameter synthesis for stochastic biochemical systems | BibTeX data for Precise parameter synthesis for stochastic biochemical systems | DOI (10.1007/978-3-319-12982-2_7)