A Programozási Nyelvek és Fordítóprogramok tanszék az Informatikai Kar megalakulásával egy időben, 2003-ban jött létre. A tanszék oktatási feladataiba tartozik különböző imperatív, objektumorientált, illetve funkcionális nyelvek (többek között ADA, C, C++, Erlang, Haskell, Java, Python) a fordítóprogramok, valamint az ezekhez kapcsolódó elméleti témák, mint például a logika, a típuselmélet, az elosztott, illetve konkurens programok tervezése és elemzése, a formális szemantika, a szoftvertechnológia és a kvantumszámítástechnika oktatása.

A tanszék a széleskörű oktatási tevékenysége mellett a kar kutatási tevékenységéből is jelentős szerepet vállal. A tanszéken többek között statikus elemzés és refaktorálás, típuselmélet, alkalmazásiterület-specifikus programozási nyelvek fejlesztése és elemzése, open-source edge computing infrastruktúrák vizsgálata és kvantumszámítástechnika témákban folynak kutatások.