prof. RNDr. Mojmír Křetínský, CSc.

Professor, Department of Computer Science

office: C414
Botanická 554/68a
602 00 Brno

Show on the map

phone:	+420 549 49 4239
e‑mail:

social and academic networks:

Basic information

Field of study: Informatics

Topics of doctoral theses (supervisor)

Translation of Linear Temporal Logic to Omega-Automata – graduate 2017
On Extensions of Process Rewrite Systems – graduate 2007
Selected Techniques for Verification of Infinite-State Systems – graduate 2005
Linear Temporal Logic: Expressiveness and Model Checking – graduate 2005

Field of study: Mathematical Informatics

Topics of doctoral theses (supervisor)

Decidability Issues for Processes with Infinitely many States – graduate 1997

Detailed information on doctoral topics and students