Logiki komputerowe
dr hab. Lidia Tendera, prof. UO – Kierownik zespołu
dr hab. Wiesław Szwast, prof. UO
prof. dr Ian Pratt-Hartmann
mgr inż. Dariusz Marzec
Unifikacja w logikach modalnych
dr hab. Piotr Wojtylak, prof. UO – Kierownik zespołu
dr Sławomir Kost
Sztuczna inteligencja i cyfrowe przetwarzanie obrazu
dr inż. Sławomir Stemplewski – Kierownik zespołu
dr inż. Piotr Dzierwa
Sieci komputerowe
dr Zbigniew Lipiński – Kierownik zespołu
dr Jolanta Tańcula
Bezpieczeństwo IT
dr inż. Adam Czubak – Kierownik zespołu
dr Jarosław Kobiela
dr Piotr Urbaniec
mgr inż. Marcin Szymanek
mgr Tomasz Michael
Grafika komputerowa, gry, algorytmy sztucznej inteligencji i optymalizacji
dr inż. Andrzej Kozik – Kierownik zespołu
mgr inż. Mariusz Marek
Metody eksploracji danych i ich zastosowania
dr inż. Grażyna Suchacka – Kierownik zespołu
dr Jacek Iwański
mgr inż. Tomasz Machalewski
Bioinformatyka i systemy formalne
dr Zbigniew Bonikowski – kierownik zespołu
dr Andrzej Jasiński
