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 Piotr Urbaniec
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 Sebastian Bala
dr Jarosław Kobiela
mgr inż. Marcin Szymanek

 

Grafika komputerowa, gry, algorytmy sztucznej inteligencji i optymalizacji

dr inż. Andrzej Kozik – Kierownik zespołu
mgr inż. Łukasz Dziemba
mgr inż. Tomasz Machalewski
mgr inż. Mariusz Marek

 

Metody eksploracji danych i ich zastosowania

dr inż. Grażyna Suchacka – Kierownik zespołu
dr Jacek Iwański

 

Bioinformatyka i systemy formalne

dr Jacek Waldmajer – kierownik zespołu
dr Zbigniew Bonikowski
dr Andrzej Jasiński