The Department of Programming Languages and Compilers was established in 2003, at the same time as the Faculty of Informatics. The Department's teaching responsibilities include 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, design and analysis of distributed and concurrent programs, formal semantics, software engineering and quantum computing.
In addition to its extensive teaching activities, the department also plays a significant role in faculty research. The department conducts research in areas such as static analysis and refactoring, type theory, application domain-specific programming language development and analysis, open-source edge computing infrastructure studies, and quantum computing.