Projects and Ideas
Research Projects
Theses
Completed
In Progress
Open Topics
Internship Projects
Starter Projects
Project Ideas
Suggest a Project
Research
Research Areas
Research Projects
Partnerships
People
RIGs
Publications
Events
News
Get Involved
Internships
Join a RIG
Open Source Contest
Suggest a Project
Magazine
Jan Strejček
Associate Professor, Masaryk University
https://www.muni.cz/en/people/3366-jan-strejcek
xstrejc@fi.muni.cz
View people
Research Areas
RIG(s)
Brno
Partner Universities
Masaryk University
Related Projects
AUFOVER – The Automation of Formal Verification