Official photograph Mgr. Martin Kučera
  

Mgr. Martin Kučera

alumnus 2014, 2016, učo 396248
396248(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz, email forwarded to another address

Studies

Programme FI N-IN Informatics, Master's degree programme
Statusstate examination passed and studies completed, degree conferred: Mgr., in 2016
Thesis/DissertationEfficient analysis of stochastic consumption games
Field of StudyFI TEI Theoretical Informatics
Record of Study Results
Programme FI B-IN Informatics, Bachelor's degree programme
Statusstate examination passed and studies completed, degree conferred: Bc., in 2014
Thesis/DissertationReusing known SMT results
Field of StudyFI MI Mathematical Informatics
Record of Study Results

The Personal Page is being displayed with the following user's consent: Martin Kučera, 5/1/2016