Ing. Aleš Smrčka

Contact

Department: Department of Intelligent Systems (DITS) Title: Assistant lecturer Roles: Automated Analysis and Verification Research Group - VeriFIT E-Mail: smrcka@fit.vutbr.cz Phone: +420 54114-1186 GSM O2 gw: +420 72681-1186 GSM T-Mobile: +420 60407-1186 Fax: +420 54114-1270 Room: Office A304 Address: DITS FIT BUT Božetěchova 2 612 66 Brno, CZ