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.

Doktoranduszok szemináriuma

Az ELTE IK Programozáselmélet és Szoftvertechnológia Tanszék 2012. februártól egy olyan szemináriumot indít, amelyen a tanszékhez tartozó doktoranduszok és doktorjelöltek egy-egy órás előadás keretében ismertetik eddigi eredményeiket, vázolják további terveiket. A szeminárium szakmai vezetője Varga László tanár úr, a Tanszék professzor emeritusa, szervezője Sántáné-Tóth Edit tanárnő.

Az előadásokra várjuk a Tanszék oktatóit és doktori hallgatóit.

A szeminárium a Déli épület 2.702-es tárgyalójában, páros hetek szerdáin lesz.

Kezdési időpont: 10:00 óra.

A tavaszi félév programja:

• Február 22. Pintér Balázs: (Témavezető: Lőrincz András)
• Március 7. Orbán György (Témavezető: Kozma László)
• Március 21. Vörös Gyula:  (Témavezető: Lőrincz András)
• Március 28. Dávid Ákos: Komponens alapú szoftverek verifikációja modellellenőrzéssel (Témavezető: Kozma László)
• Április 18. Borsi Zsolt (Témavezető: Kozma László)
• Május 2. Medve Anna (Témavezető: Kozma László)

Dr. Varga László

az ELTE IK professzor emeritusa a szeminárium szakmai vezetője

Sántáné-Tóth Edit

az ELTE IK vendégelőadója, a szeminárium szervezője

(Email: Ezt a címet a spamrobotok ellen védjük. Engedélyezze a Javascript használatát, hogy megtekinthesse. )