Logiki komputerowe
dr hab. Lidia Tendera, prof. UO – Kierownik zespołu
prof. dr Ian Pratt-Hartmann
mgr inż. Dariusz Marzec
dr Zbigniew Bonikowski
dr Andrzej Jasiński
Unifikacja w logikach modalnych
dr hab Barbara Morawska – Kierownik zespołu
dr Sławomir Kost
Systemy operacyjne / AI
dr hab. inż. Mariusz Pelc, prof. UO – Kierownik zespołu
dr inż. Sławomir Stemplewski
dr inż. Piotr Dzierwa
mgr inż. Michał Szczerba
dr Zbigniew Lipiński
dr Aasam Abdul Karim
Bezpieczeństwo IT
dr inż. Adam Czubak – Kierownik zespołu
dr Jarosław Kobiela
dr Piotr Urbaniec
mgr inż. Marcin Szymanek
dr Jolanta Tańcula
mgr inż. Marek Barycki
Metody eksploracji danych i ich zastosowania
dr inż. Grażyna Suchacka – Kierownik zespołu
dr Jacek Iwański
mgr inż. Tomasz Machalewski
dr inż. Andrzej Kozik
mgr inż. Mariusz Marek
Bioinformatyka i systemy formalne
dr Zbigniew Bonikowski – kierownik zespołu
dr Andrzej Jasiński