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
Positions in