David Safranek

David Safranek is an Assistant Professor at the Faculty of Informatics, Masaryk University, where he contributes to systems biology research and education. His work bridges computational modeling, bioinformatics, and experimental data analysis.

• Affiliations: Faculty of Informatics, Masaryk University; Systems Biology Laboratory (Sybila); CyanoTeam; E-photo project.

His research interests include:

• Computational modeling of cyanobacterial cells and photosynthesis in silico.
• Formal methods in systems biology, such as discrete timed automata and ODE model abstractions.
• Metabolomics, photobiology, and chlorophyll fluorescence analysis.
• Development of tools like BioDiVinE and BioMS for biochemical model specification.

He supervises both PhD and master’s students, including Sven Drazan, Jana Fabrikova, and Matej Klement, and has guided numerous bachelor’s and master’s theses. His teaching focuses on systems biology, computational methods, and modeling, with courses like PB050 and PV225.

David leads the Systems Biology Laboratory (Sybila) and has been involved in projects such as ParaDiSe, EC-MOAN, and Liberouter. His technical contributions include firewall design, network address translation, and VRML-based virtual environments for education.