Dragan Bosnacki

Dragan Bosnacki is an Assistant Professor at Eindhoven University of Technology (TU/e), holding joint appointments in the departments of Biomedical Engineering and Mathematics and Computer Science. He specializes in interdisciplinary research at the intersection of computer science and biomedicine, with a focus on machine learning, bioinformatics, and computational modeling of medical therapies. His work combines formal verification techniques, GPU-accelerated algorithms, and biomedical applications such as High Intensity Focused Ultrasound (HIFU) therapy modeling. Dr. Bosnacki earned his BSc in Electrical Engineering and MSc in Computer Science from Sts. Cyril and Methodius University (Macedonia), followed by a PhD in Mathematics and Computer Science at TU/e under Professors Jos Baeten and Dennis Dams. He has pioneered advancements in parallel model checking and contributed significantly to the SPIN model checking tool. His research also spans separation logic, biomedical data analytics, and the application of mathematical methods to biological systems.

Education:

• BSc in Electrical Engineering, Sts. Cyril and Methodius University (Macedonia)
• MSc in Computer Science, Sts. Cyril and Methodius University (Macedonia)
• PhD in Mathematics and Computer Science, TU/e (2001)

Research Interests:

• Mechanisms of machine learning for biomedical data
• Formal verification of hardware/software systems
• GPU-optimized algorithms for computational biology
• Mathematical modeling of HIFU cancer therapies
• Reconstruction of biological networks and drug response modeling

Teaching:

• Advanced programming and biomedical data analysis
• Simulation of biochemical systems
• Programming for data analytics
• Capita selecta in bioinformatics
• Thermodynamics & chemical kinetics

Key Contributions:

• Co-developed GPU-based model checking tools (e.g., GPUexplore)
• Improved partial-order and symmetry reduction techniques
• Contributions to the SPIN model checker and VeriFast tool

Advising: Supervised 37 academic works, focusing on interdisciplinary projects in computational biology and formal methods.