Ing. Bohuslav Křena, Ph.D.

Contact

Department: Department of Intelligent Systems (DITS) Title: Assistant professor Roles: Vice-dean for Bc. education Automated Analysis and Verification Research Group - VeriFIT BS. Academic Council - member MSc. Academic Councils - member E-Mail: krena@fit.vutbr.cz Phone: +420 54114-1233 GSM O2 gw: +420 72681-1233 GSM T-Mobile: +420 60407-1233 Fax: +420 54114-1270 Room: Office A308 Address: DITS FIT BUT Božetěchova 2 612 66 Brno, CZ