Contacts

0000-0002-0300-9727
Researcher ID	AAK-2282-2020
Scopus ID	7006749648

Faculty of Information Technology

Department of Intelligent Systems, Associate professor

Automata@FIT, Member of Workgroup

Automated Analysis and Verification Research Group - VeriFIT, Member

Members of Commissions for State Doctoral Examinations, Member of Workgroup

Members of Commissions for State Final Examinations at FIT, Member of Workgroup

Supervisors in Doctoral Study Programme at FIT, Member of Workgroup

In the event of a discrepancy in the data, inspect the FAQs for visiting cards.