Dragan Bosnacki

Dragan Bosnacki
 

Address

Department of Biomedical Engineering, WH 3.101
Eindhoven University of Technology
P.O. Box 513, NL-5600 MB Eindhoven
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

         GRAPHITE 2012

         SPIN 2012