Dragan Bosnacki
Address
Department of Biomedical Engineering, WH
3.101
Eindhoven University of Technology
P.O. Box 513, NL-5600 MB
The Netherlands
Phone: +31 40 247 5159
Fax: +31 40 247 2206
Email: dragan@win.tue.nl
Room: WH 3.101
Research
Bioinformatics,
Formal Methods, Model Checking, Design and
Verification Tools, Timed Automata, Hybrid Systems, Process Algebra, Software
Engineering, Distributed Computing, Logic and Automata Theory
Professional activities