Logiki komputerowe
dr hab. Lidia Tendera, prof. UO – Kierownik zespołu
prof. dr hab Aleksander Iwanow
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
mgr inż. Dariusz Marzec
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
mgr inż. Patryk Mendoń
mgr inż. Marcin Szymanek
Bezpieczeństwo IT
dr inż. Adam Czubak – Kierownik zespołu
dr Jarosław Kobiela
dr hab. inż. Michał Podpora, prof. UO
dr Piotr Urbaniec
mgr inż. Tomasz Machalewski
dr Jolanta Tańcula
mgr inż. Marek Barycki
Optymalizacja, aproksymacja i teoria gier
dr Gleb Polevoy, prof. UO – Kierownik zespołu
dr inż. Grażyna Suchacka
dr Jacek Iwański
dr inż. Andrzej Kozik
mgr inż. Mariusz Marek
dr Sebastian Bala