prof. RNDr. Ivana Černá, CSc.

Department head, Department of Computer Science

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

phone:	+420 549 49 3890
e‑mail:

social and academic networks:

Field of study: Computing Technology and Methodology

Minimal sets over a monotone predicate: Enumeration and counting – graduate 2021

Parameter Synthesis for Systems with Real Time – graduate 2018
Control Strategy Synthesis for Path Planning under Temporal Constraints – graduate 2015
Modeling Problem Solving Times in Tutoring Systems – graduate 2013
Quantitative Formal Methods for High-level Robot Path Planning – graduate 2013
Disjunctive Modal Transition Systems – graduate 2012
Model Checking of Control-User Systems – graduate 2009
Reduction and Abstraction Techniques for Model Checking – graduate 2006