Dragan Bosnacki

Registered user since Fri 6 Mar 2015

Name:Dragan Bosnacki
Affiliation:Eindhoven University of Technology, The Netherlands
Research interests:Formal Methods, Bioinformatics, Computational Biology, Systems Biology


SPIN 2021 Session Chair of Invited talk 1 (part of SPIN)
SPIN 2019 Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
SPIN 2017 Committee Member in Steering Committee
Committee Member in Program Committee
ECOOP 2015 Author of Modular Termination Verification within the Research Track-track