Vize

Předpokládanými směry vědecké práce jsou zejména následující: Formalizace a semi-automatizace vývoje software; vybudování laboratoře pro testování metodik v oblasti vývoje software; práce v oblasti Software Quality Assurance.