Select language

English Magyar

Elérhetőség

Név

Lukács Dániel

Tanszék

ELTE IK, Programozási Nyelvek és Fordítóprogramok Tanszék

E-mail

dlukacs (at) inf.elte.hu

Szobaszám

D2.616

Témavezetés

Szakdolgozat, diplomamunka témavezetést az alábbi tématerületekhez kapcsolódóan vállalok:

Tématerületek Témakörök Szükséges ismeretek

Oktatást vagy tanulást segítő eszközök kifejlesztése

  • Algoritmusok vizualizálása

  • Feladatok és feladatsorok automatikus generálása

  • Gyakorlást segítő eszközök

  • Canvas-pluginok

  • Saját ötletek

Választott feladattól függ

Kvantum kommunikációs szoftver

  • Komponensek implementációja (vagy meglevő implementáció továbbfejlesztése)

  • Ismert titkosítási eljárások integrálása

  • Alkalmazásokba való beágyazás

  • Naplózás, monitorozás

  • Felhasználói felületek

  • Saját ötletek

C++, Elosztott rendszerek

Forráskód automatikus elemzése (refaktorálás, statikus elemzés, helyesség-vizsgálat, költségelemzés, tesztelés, modell-ellenőrzés, automatikus bizonyítás)

  • Elemző algoritmusok szintaxisfák felett

  • Már kifejlesztett elemzők alkalmazása domain-specifikus nyelvekre

  • Beágyazás fejlesztői környezetbe

  • Gráfok vizualizációja

  • Felhasználói felületek

  • Naplózás, monitorozás

  • Saját ötletek

Fordítóprogramok alapjai

Oktatás

2021/2022 ősz

  • Logika (gyakorlat), IP-18KVELG

  • Funkcionális programozás (gyakorlat), IP-18FUNPEG

2020/2021 tavasz

  • Logika (gyakorlat), IPM-18sztKVLOGG

2020/2021 ősz

  • Logika (gyakorlat), IPM-18sztKVLOGG

2019/2020 tavasz

  • Osztott rendszerek (gyakorlat), IP-08cORG/IP-08EORG

2019/2020 ősz

  • Funkcionális programozás (gyakorlat), IP-08bFUNPEG

2018/2019 tavasz

  • Osztott rendszerek (gyakorlat), IP-08cORG

2018/2019 ősz

  • Funkcionális programozás (gyakorlat), IP-08bFUNPEG

2017/2018 tavasz

  • Funkcionális programozás (gyakorlat), IP-08bFUNPEG

  • Programozási nyelvek 4. (gyakorlat), IT-13KPNY4EG

2017/2018 ősz

  • Programozási nyelvek II. JAVA (gyakorlat), IP-08cPNY2EG