Główne kierunki badań podejmowanych w Zakładzie Technik Programowania koncentrują się wokół opracowania zasad, metod i algorytmów tworzenia kompilatorów podzbioru języka VHDL do syntezy układów logicznych oraz ich implementacji, opracowania metod i algorytmów kompilatorów maszyn równoległych i systemów rozproszonych w części zrównoleglenia w sposób efektywny pętli programów sekwencyjnych.
ZAKŁAD TECHNIK PROGRAMOWANIA SYSTEMÓW ROZPROSZONYCH (ZTPSR):
W Zakładzie Ochrony i Bezpieczeństwa prowadzone badania dotyczą języka specyfikacji polityk kontroli dostępu w rozproszonych systemach sieciowych oraz systemów do składania bezpiecznego podpisu elektronicznego w środowisku rozproszonym.
