Photo

Ivana Černá

Faculty of Informatics
Masaryk University
Botanicka 68 a
602 00 Brno, Czech Republic
Email: cerna at fi.muni.cz
Phone: +420-5 49 49 38 90
Fax: +420-5 49 49 18 20
Visiting card URL:  here
 

Teaching

My courses for students (in Czech)

Research

My main interest is in formal verification as a framework for modelling, analyzing, verifying, and synthesizing complex systems. The main topic is currently distributed model checking of temporal properties. Other interests are in computational complexity.  

Publications
Google Scholar
DPLB

Projects
DiVinE - Model Checking for Everyone
ParaDiSe - Parallel and Distributed Systems Laboratory

Curriculum Vitae