David Safranek

Registered user since Thu 15 Mar 2018

Name: David Safranek

Country: Czech Republic

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

HSB 2019 Author of Data-informed parameter synthesis for population Markov chains within the HSB-track
Session Chair of VII (part of HSB)
Author of Poster flash: Comprehensive Modelling Platform within the HSB-track
Committee Member in Program Committee within the HSB-track
TACAS 2019 Author of Digital Bifurcation Analysis of TCP Dynamics within the TACAS 2019-track
ETAPS 2019 Publications Chair in Organizing Committee