Kapcsolat

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

 

Módosítás: ( 2010. február 03. szerda, 22:35 )

 

A Tanszék

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 )

 

Doktoranduszok szemináriuma

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. )