Our Team

Luboš
Brim

profile

has a M.S. in Mathematics from Masaryk University (1976) and PhD in Computer Sciencs from the Czech Academy of Sciences (1986) under Professor J. Horejs. Since 2006 he is a full professor of informatics at Masaryk University. His current research interests include automated formal verification, parallel verification and computational systems biology.

home page

Nikola
Beneš

profile

has finished his PhD in Computer Science at the Faculty of Informatics in 2012. During his PhD he focused on the area of specification formalisms for the design and analysis of computer systems. Since 2015 he is an assistant professor at the same faculty. His current research interests include formal verification and parameter synthesis for various kinds of systems, such as programs, protocols, and biological models.

home page

David
Šafránek

profile

has a M.S. degree in Computer Science (Parallel Computing) from Masaryk University (2001) and PhD in Computer Science (Formal Methods) from Masaryk University (2006) under Professor L. Brim. Since 2009 he is an assistant professor of informatics at Masaryk University. His current research interests include formal methods for complex systems, computational systems biology and formal specification and modelling of biological systems.

read more

Jan
Červený

profile

has completed PhD studies in the field of technical cybernetics where he focused on systems biology of photosynthesis and engineering of photobioreactors for highly controlled cultivation of microalgae. During recent years he has successfully established experimental platform for characterization and optimization of microalgae as core part of Department of Adaptive Biotechnologies he has been heading since 2013.

read more

Martin
Demko

profile

is a PhD student at the Faculty of Informatics, Masaryk University where he obtained also his master degree with diploma thesis focusing on Extension and re-factorisation of BioDiVinE tool. Currently, he is preparing his dissertation thesis focusing on Parameter synthesis of dynamical models via model checking. His interests include bioinformatics, systems biology, modelling and analysis of biological systems, formal verification of dynamical models.

read more

Matej
Hajnal

profile

is a PhD student at the Faculty of Informatics, Masaryk University where he also obtained his Master degree with a diploma thesis focusing on dynamical modelling of signalling pathways. Now his work is aimed at formal methods for model selection and discrimination in Systems Biology. His interests include modelling and analysis of biological systems, reaction kinetics, and evolutional mechanisms.

read more

Samuel
Pastva

profile

has a master's degree from Masaryk University in Parallel and Distributed Systems. Since 2017, he's pursuing a PhD under the supervision of professor L. Brim on the topic of digital bifurcation analysis. His interests include formal verification, program analysis and computational systems biology.

read more

Matej
Troják

profile

is a PhD student at the Faculty of Informatics, Masaryk University where he also obtained his Master degree with a diploma thesis focusing on specification and analysis of biochemical processes. The topic of his doctoral project is application of formal verification to the control of biological systems.

home page
undergraduate students

Jakub Hrabec, Lukrécia Mertová, Marek Havlík, Jakub Kadlecaj

Guest scientists

Hannes Klarner (FU Berlin, March 2012), Luca Bortolussi (University of Trieste, May 2012), Ralf Steuer (HU Berlin, May 2012), Jan Van Schuppen (CWI Amsterdam, October 2012), Christoph Flamm (University of Vienna, November 2012), Vashti Galpin (LFCS University of Edinburgh, March 2013), Stefanie Hertel (HU Berlin, April 2014), Loïc Paulevé (LRI CNRS Université Paris-Sud, May 2014), Nicola Paoletti (University of Oxford, January 2015)

Former members

Vojtěch Brůža, Milan Češka, Tadeáš Děd, Vilém Děd, Sven Dražan, Kateřina Havlová (Hemalová), Ladislav Nedbal, Jan Papoušek, Aleš Pejznoch, Františka Romanovská, Adam Streck, Tomáš Vejpustek, Jana Fabriková, Matej Klement, Juraj Kolčák, Jakub Šalagovič

Core members 2018
Core members 2017
Top