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.
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.
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.
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.