Informace o projektu

Současné problémy mezioborové disciplíny výpočetní systémové biologie vyžadují nasazení pokročilých nástrojů informatiky, zejména formálních metod. Tento fakt je motivován potřebou výpočetní analýzy těžko predikovatelných emergentních chování komplexních biologických systémů. Odhad kinetických konstant a jiných parametrů modelu tvoří nedílnou součást typického výzkumu v systémové biologii. Přímé měření parametrů pomocí tzv. mokrých experimentů je často obtížné nebo dokonce i nemožné. Navrhovaný projekt si klade za cíl vyvinout zcela nové automatizované techniky pro odhadování parametrů, které jsou založeny na vyladění modelu pro zadanou hypotézu formulovanou v temporální logice. Navrhovaný přístup staví na využití metody ověřování modelů, která je využivána pro formální verifikaci počítačových systémů. Velký důraz bude kladen i na dosažení škálovatelnosti pomocí paralelních algoritmů.