A tanszék feladata a programozás elméleti alapjainak, módszertanának és technológiájának oktatása és kutatása. Vizsgálatunk tárgyát képezik a hardver- és szoftverarchitektúták, amelyek különböző programozási paradigmákat támogatnak, a programozás elemi módszerei, a strukturált és az objektumelvű programozás módszertanai és az ezeket támogató technológiák mind szekvenciális, mind pedig párhuzamos és elosztott programozási környezetben. A fenti proglémaköröket a mesterséges intelligencia módszereivel és eszközeivel is tanulmányozzuk. Így a programok helyességének bizonyítása, minőségi jellemzőinek vizsgálata mellett a helyes programok származtatásának módszerei és ezek technológiai vonatkozásai is a tanszék profiljába tartoznak.

A tanszék személyi összetétele alapján a fenti témakörök oktatását BSc, MSc és PhD színtű képzésben is tudja vállalni mivel rendelkezik a megfelelő oktatási, kutatási és szakmai háttérrel.

Módosítás: ( 2009. október 02. péntek, 21:12 )