- 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 |
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 |
|
Választott feladattól függ |
Kvantum kommunikációs szoftver |
|
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) |
|
Fordítóprogramok alapjai |
Oktatás
2021/2022 tavasz
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