Metody opisu semantycznego, formalnej specyfikacji i systematycznego rozwijania oprogramowania, oraz matematyczne podstawy takich metod. Tematy badań to algebry procesów, programowanie obiektowe, specyfikacja wymagań, specyfikacja architekturalna, rozwijanie i weryfikacja oprogramowania, oraz zaawansowane metody matematyczne, oparte na algebrze, teorii koalgebr, teorii kategorii i logice.