The Department of Programming Languages and Compilers was established in 2003, at the same time as the Faculty of Informatics. The department's educational tasks include teaching various imperative, object-oriented, and functional languages (including ADA, C, C++, Erlang, Haskell, Java, Python), compilers, and related theoretical topics such as logic, type theory, distributed and concurrent program design and analysis, formal semantics, software technology, and quantum computing.

In addition to its wide-ranging educational activities, the department also plays a significant role in the faculty's research activities. Research topics at the department include static analysis and refactoring, type theory, development and analysis of application domain-specific programming languages, investigation of open-source edge computing infrastructures, and quantum computing.