Faculty of Information Technology
Department of Intelligent Systems, Researcher
| Address | Božetěchova 1/2, Královo Pole, 61266, Brno, Česká republika |
|---|---|
| Web pages | https://www.fit.vut.cz/~imacak/ |
| Phone | +420 54114 1178 |
| Room | B/A219 (Božetěchova 1/2, Brno 61200) |
Automata@FIT, Member of Workgroup
Automated Analysis and Verification Research Group - VeriFIT, Ph.D. Student
In the event of a discrepancy in the data, inspect the FAQs for visiting cards.