David
Šafránek
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 2020 he is an associate 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
Nikola
Beneš
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
Luboš
Brim
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. Till 2024 he headed the laboratory.
home page
Samuel
Pastva
has a master's degree from Masaryk University in Parallel and Distributed Systems and PhD in Computer Science from Masaryk University (2022) under Professor L. Brim. His interests include formal verification, program analysis and computational systems biology. He is currently appointed as postdoc to ISTA under supervision of Professor T. Henzinger.
read more
Eva
Šmijáková
has a master's degree from Masaryk University where she also continues her studies as a PhD student. The topic of her thesis is bifurcation analysis of hybrid systems. Her interests include computational systems biology and formal methods for complex systems.
home page
Matej
Troják
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 pageundergraduate students
Aleš Horna, Ondřej Huvar, Ondřej Lošťák, Oto Stanko, Andrej Šimurka
sybila distinguished alumni
Sybila is proud to have alumni who successfully spread the Sybila's view of digital systems biology worldwide.
Samuel Pastva at
ISTA Austria
Martin Demko at
CEITEC
Jakub Šalagovič at
KU LEUVEN
Adam Streck at
DZNE Berlin
Milan Češka at
VUT Brno
Juraj Kolčák at
SDU
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, Jan Červený, Tadeáš Děd, Vilém Děd, Martin Demko, Sven Dražan, Matej Hajnal, Lukrécia Mertová, Marek Havlík, Kateřina Havlová (Hemalová), Jakub Hrabec, Jakub Kadlecaj, Ladislav Nedbal, Jan Papoušek, Aleš Pejznoch, Františka Romanovská, Adam Streck, Tomáš Vejpustek, Jana Fabriková, Matej Klement, Juraj Kolčák, Jakub Šalagovič, Daniel Magoč, Radoslav Doktor, Alexandra Stanová, Martin Petr, Radovan Babjak, Branislav Brozmann
Core members 2023
Core members 2022
Core members 2021
Core members 2020
Core members 2019
Core members 2018
Core members 2017
