appearance

MU › FI › About the faculty › People Search at MU › Personal page › Projects

Masaryk University - Faculty of Informatics

Page information

English

Česky

Skip navigation

About the faculty | Research and development | Applicants | Students | Alumni | Information sources | News | Partners

Skip the Organizational structure panel
Organizational structure
On selecting a constituent part of MU the "Staff" page will be displayed with information relevant to the selected constituent part. The "Staff" page is not available for non-activated items.

Masaryk University
- Faculties
- Law
- Medicine
- Science
- Arts
- Education
- Economics
- Informatics
- Social Studies
- Sports Studies
- Institutes
- Computer Science
- CEITEC MU
- Politica
- Specialized Units
- Hostels & Canteens
- University Press
- Telč Centre
- UCB Management
- Rector`s Office
- Rectorate
- Other Units
- Archive
- Language Centre
- International Studies
- Disabled Students
- Technology Transfer
- Biostatistics
- Mendel Museum
- CERIT
- Civic Education
- Project Team CEITEC

Faculty of Informatics

RNDr. Jan Strejček, Ph.D.

Basic CV Supervisor Qualifications Publications Projects Teaching

Photo not published

Formální metody pro analýzu a verifikaci komplexních systémů (GAP202/10/1469)
MU Investigator:	Prof. RNDr. Antonín Kučera, Ph.D.
MU Faculty/Unit:	Faculty of Informatics
Project Period:	1/2010 - 12/2014
Investor/Programme:	Czech Science Foundation / Standard Projects
	more

Formal verification: algorithms, properties of modelling formalisms amd temporal logics (GP201/08/P375)
MU Investigator:	RNDr. Jan Strejček, Ph.D.
MU Faculty/Unit:	Faculty of Informatics
Project Period:	1/2008 - 12/2010
Investor/Programme:	Czech Science Foundation / Post-graduate (doctorate) grants
	more