Programozáselmélet és Szoftvertechnológiai Tanszék

Elérhetőség:

1117, Budapest, Pázmány Péter sétány 1/C. (a részletes megközelítéshez kattintson ide)

telefon: (+36 1) 381-2319

fax: (36 1) 381-2185, 381-2140

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.