Milan Češka
Assistant professor
Department of Intelligent Systems
Central European Institute of Technology
Czech Republic
Biography
Milan ÄŒeška is currently an Assistant professor in the Department of Intelligent Systems Central European Institute of Technology, Czech republic. He got Dean’s Award for Excellent Ph.D. Thesis (Jul 2012),Dean’s Award for Excellent Master Students’ Results (Jul 2008), HSB’15, HSB’16, CMSB’16, Repeatability evaluation of HSCC’16.
Research Interest
Quantitative formal methods, probabilistic model-checking, parameter synthesis, parallel graph algorithms, formal analysis of biochemical systems.
Publications
-
CUDA accelerated LTL model checking J Barnat, L Brim, M Ceška, T Lamr Parallel and Distributed Systems (ICPADS), 2009 15th International
-
Computing strongly connected components in parallel on CUDA J Barnat, P Bauch, L Brim, M Ceška Parallel & Distributed Processing Symposium (IPDPS), 2011 IEEE International.
-
Divine: Parallel distributed model checker J Barnat, L Brim, M Ceska, P Rockai Parallel and Distributed Methods in Verification, 2010 Ninth International.
