Dragan Bosnacki

Registered user since Fri 6 Mar 2015

Name: Dragan Bosnacki

Country: Netherlands

Affiliation: Eindhoven University of Technology, The Netherlands

Research interests: Formal Methods, Bioinformatics, Computational Biology, Systems Biology


SPIN 2019Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
SPIN 2017Committee Member in Steering Committee
Committee Member in Program Committee
ECOOP 2015Author of Modular Termination Verification within the Research Track-track