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 10 31
Phone: +420-5 49 49 38 90
Fax: +420-5 49 49 18 20
Visiting card URL:  here
 

Teaching

My courses for students are (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

DiVinE - The Distributed Verification Environment

ParaDiSe - Parallel and Distributed Systems Laboratory

Projects

Curriculum Vitae