conf.researchr.org / David Safranek
![David Safranek](https://conf.researchr.org/getProfileImage/davidsafranek/b51f4804-178b-491e-aab5-1470cd94b6ad/small.jpg?1711539497000)
Registered user since Thu 15 Mar 2018
Name:David Safranek
Country:Czechia
Affiliation:Masaryk University
Personal website: https://www.muni.cz/en/people/3159-david-safranek
Research interests:formal methods; systems biology; parameter synthesis; dynamical systems; cyber-physical and cyber-biological systems; formal verification
Contributions