Generate a tailored SOP for Dr. Dragan Bosnacki. Improve your application with a focused, well-structured draft.
Dragan Bosnacki is an Assistant Professor at Eindhoven University of Technology (TU/e) in the Department of Biomedical Engineering. His primary research interests include machine learning, bioinformatics, and modeling High Intensity Focused Ultrasound (HIFU) therapies for cancer treatment. His work encompasses the development of algorithms for reconstructing biological networks and applies formal verification techniques to biology and medicine. Bosnacki has a solid track record in formal verification of hardware and software, especially in model checking, where he has developed advanced techniques for state space reduction such as partial-order reduction and symmetry reduction. He has contributed significantly to the renowned model checking tool SPIN and has served as the chair of the steering committee for SPIN symposiums. Additionally, he has pioneered the application of model checking techniques in multi-core GPUs and shared memory systems, and has worked with separation logic in the tool VeriFast. Bosnacki holds a BSc in Electrical Engineering and an MSc in Computer Science from Sts. Cyril and Methodius University in Skopje, Macedonia, and obtained his PhD from the Department of Mathematics and Computer Science at TU/e in 2001, supervised by Jos Baeten and Dennis Dams.
Specific departments like Industrial Design require a portfolio. Programs like Data Science and AI require a GRE-General test for certain international backgrounds.