Podstawowe i praktyczne aspekty inżynierii oprogramowania. Tematy badań to funkcyjne i obiektowe języki programowania, programowanie w logice, systemy operacyjne, systemy czasu rzeczywistego, metodologie rozwijania oprogramowania, formalna dokumentacja i specyfikacja, weryfikacja oprogramowania.
Systemy operacyjne, systemy rozproszone, programowanie współbieżne,
ocena wydajności, inżynieria oprogramowania (metody formalnej dokumentacji i specyfikacji,
prowadzenie projektów informatycznych)