Sieci, konsorcja i zespoły badawcze

Zespół teoretycznych podstaw informatyki specjalizuje się w badaniach nad fragmentami logiki pierwszego rzędu, szczególnie skupiając się na fragmentach dwu-zmiennych, logikach z przechodniością oraz mechanizmach liczenia. Badania zespołu koncentrują się na problemach decydowalności i spełnialności w różnych fragmentach logiki, takich jak logika strzeżona i fragmenty fluted. Istotnym elementem pracy zespołu jest analiza wpływu dodawania pewnych cech, takich jak przechodniość czy ograniczenia semantyczne, na złożoność i możliwości decyzyjne tych logik. Zespół bada również granice decydowalności oraz teoretyczne aspekty złożoności obliczeniowej w kontekście zastosowań logicznych w informatyce.

dr hab. Lidia Tendera, prof. UO – kierownik zespołu
prof. dr hab Aleksander Iwanow
prof. dr Ian Pratt-Hartmann
mgr inż. Dariusz Marzec (doktorant)
dr Zbigniew Bonikowski
dr Andrzej Jasiński

Zespół zajmujący się Unifikacją w Logikach Modalnych prowadzi badania nad teoretycznymi aspektami unifikacji w różnych logikach modalnych, ze szczególnym naciskiem na logiki przechodnie oraz logiki lokalnie tablicowe. Ich prace obejmują również badania nad ramami teoretycznymi fuzji logik modalnych, co pozwala na lepsze zrozumienie struktury i właściwości tych systemów. Zespół eksploruje także implikatywne fragmenty logik rozmytych oraz porównania asymptotyczne tych fragmentów, co ma na celu zbadanie różnic i podobieństw w zachowaniach logicznych tych systemów. W swoich badaniach łączą zarówno podejście teoretyczne, jak i zastosowania praktyczne, co pozwala na rozwijanie nowych metod i narzędzi w obszarze unifikacji w logikach modalnych.

dr hab. Barbara Morawska – kierownik zespołu
dr Sławomir Kost
mgr inż. Dariusz Marzec (doktorant)

Zespół zajmujący się Systemami Operacyjnymi i Sztuczną Inteligencją koncentruje się na badaniach nad zastosowaniem AI w optymalizacji i zarządzaniu systemami komputerowymi. Kluczowe obszary obejmują rozwój algorytmów sztucznej inteligencji do monitorowania i oceny stanu technicznego infrastruktury, co znajduje zastosowanie w zarządzaniu zasobami systemów operacyjnych. Dodatkowo, zespół bada zaawansowane metody kryptograficzne, które integrują się z systemami operacyjnymi, zwiększając bezpieczeństwo danych w tych środowiskach. Prace zespołu obejmują także optymalizację sieci bezprzewodowych, gdzie AI wspomaga zarządzanie routingu, co prowadzi do wydłużenia żywotności sieci sensorów. Wszystkie te działania mają na celu stworzenie inteligentnych, bezpiecznych i wydajnych systemów operacyjnych.

dr hab. inż. Mariusz Pelc, prof. UO – kierownik zespołu
dr inż. Sławomir Stemplewski
dr inż. Piotr Dzierwa
dr Aasam Abdul Karim
mgr inż. Michał Szczerba
dr Zbigniew Lipiński
mgr inż. Patryk Mendoń
mgr inż. Marcin Szymanek (doktorant)

Zespół zajmujący się Bezpieczeństwem IT prowadzi zaawansowane badania nad ochroną systemów informatycznych, ze szczególnym uwzględnieniem bezpieczeństwa mobilnych aplikacji biznesowych, sieci IoT oraz kryptografii. Ich prace obejmują analizę zagrożeń wynikających z ponownego użycia kluczy kryptograficznych w protokołach IPsec IKE, a także badanie stabilności systemów pozytywnych w bramach sieci IoT. Zespół analizuje również podatności urządzeń IoT na cyberataki z wykorzystaniem klasyfikatora Naive Bayes, opracowując metody optymalizacji zarządzania pakietami w routerach IP za pomocą teorii zbiorów przybliżonych. W swoich badaniach nad botnetami mobilnymi i wieloetapowymi atakami, zespół tworzy narzędzia do modelowania i oceny wpływu luk w zabezpieczeniach, co ma na celu zwiększenie odporności systemów na zagrożenia cybernetyczne.

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 (doktorant)
dr Jolanta Tańcula
mgr inż. Marek Barycki (pr. techniczny)

Zespół zajmujący się Optymalizacja, aproksymacja i teoria gier i ich Zastosowaniami koncentruje się na rozwijaniu zaawansowanych technik eksploracji danych oraz ich praktycznych zastosowaniach w analizie zachowań użytkowników i optymalizacji procesów w systemach informatycznych. W swoich badaniach zespół stosuje metody uczenia maszynowego do klasyfikacji sesji użytkowników w e-commerce, identyfikacji botów internetowych oraz analizy wydajności aplikacji webowych. Istotnym obszarem badań jest także optymalizacja drzewa zachowań w grach RTS oraz rozwiązywanie problemów harmonogramowania przy użyciu technik poszukiwania celów. Zespół bada również zastosowanie algorytmów opartych na teorii informacji do odkrywania profili użytkowników, co wspiera personalizację i efektywność działań w środowiskach cyfrowych. Ich prace mają na celu zwiększenie niezawodności i efektywności systemów eksploracji danych, co znajduje zastosowanie w takich dziedzinach jak handel elektroniczny, bezpieczeństwo sieci oraz optymalizacja decyzji biznesowych.

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