dr hab. Agnieszka Bołtuć
- metoda Parametrycznych Układów Równań Całkowych
- metody obliczeniowe w modelowaniu inżynierskim
- metaheurystyki optymalizacyjne
- krzywe i powierzchnie parametryczne
a.boltuc@uwb.edu.pl
dr hab. Anna Gomolińska, prof. UwB
- sztuczna inteligencja (reprezentacja wiedzy, teoria zbiorów przybliżonych, zastosowania logiki w AI)
a.gomolinska@uwb.edu.pl
dr hab. Artur Korniłowicz, prof. UwB
- komputerowo wspomagana formalizacja matematyki
- interaktywne dowodzenie twierdzeń
- zastosowanie systemu Mizar do praktycznej weryfikacji poprawności dowodów matematycznych
a.kornilowicz@uwb.edu.pl
dr hab. inż. Marek Parfieniuk, prof. UwB
- kompresja, przechowywanie i przesyłanie danych, formaty plików, protokoły sieciowe
- analiza i przetwarzanie obrazów i sygnałów (mowa, dźwięk, biomedyczne, inne)
- statystyczna eksploracyjna analiza danych, "big data"
- algorytmy i struktury danych, optymalizacja implementacji programowych i sprzętowych
- architektura systemów mikroprocesorowych, procesory, koprocesory, układy cyfrowe, układy programowalne FPGA
marek.parfieniuk@uwb.edu.pl
dr hab. Witold Rudnicki, prof. UwB
- uczenie maszynowe
- zastosowanie uczenia maszynowego w analizie danych
- analiza danych biomedycznych
- bioinformatyka
- programowanie GPU/CUDA
w.rudnicki@uwb.edu.pl
dr hab. Ewa Schmeidel, prof. UwB
- analiza modeli dyskretnych
- analiza modeli ciągłych
- analiza fourierowska
- rachunek operatorowy
- optymalizacja
e.schmeidel@uwb.edu.pl
prof. dr hab. Eugeniusz Zieniuk
- metoda Parametrycznych Układów Równań Całkowych
- metody obliczeniowe w zagadnieniach inżynierskich
- przedziałowe modelowanie zagadnień brzegowych analizy i syntezy
- krzywe i płaty powierzchni w modelowaniu zagadnień
e.zieniuk@uwb.edu.pl
mgr Jarosław Bondaruk
- systemy elektronicznego obiegu dokumentów
- systemy rejestracji czasu pracy oraz planu pracy
- aplikacje sieciowe w szczególności oparte na klasycznej architekturze klient-serwer lub SPA
- cyfryzacja i automatyzacja procesów biznesowych
- technologie serwerowe oraz klienckie
j.bondaruk@uwb.edu.pl
dr Agnieszka Golińska
- analiza sygnałów i obrazów biomedycznych
- uczenie maszynowe w analizie danych biomedycznych
a.golinska@uwb.edu.pl
dr Adam Grabowski
- komputerowa formalizacja matematyki
- teoria krat
- formalne modelowanie informacji niekompletnej: zbiory przybliżone i rozmyte
a.grabowski@uwb.edu.pl
dr Jarosław Kotowicz
- statystyka i analiza statystyczna danych
j.kotowicz@uwb.edu.pl
dr inż. Andrzej Kużelewski
- metody komputerowe w modelowaniu inżynierskim
- metody przedziałowe i rozmyte w modelowaniu zagadnień brzegowych
- administracja lokalnymi sieciami komputerowymi (LAN)
- administracja oprogramowaniem serwerowym
a.kuzelewski@uwb.edu.pl
dr inż. Wojciech Lesiński
- uczenie maszynowe
- sztuczna inteligencja
- sieci głębokie
- uczenie głębokie
w.lesinski@uwb.edu.pl
dr Barbara Łupińska
- analiza ciągłych i dyskretnych modeli zawierających pochodne ułamkowego rzędu
- statystyka i analiza danych
b.lupinska@uwb.edu.pl
dr Adam Naumowicz
- komputerowa formalizacja matematyki
- administracja systemów Unix
- metody i języki programowania
a.naumowicz@uwb.edu.pl
dr Karol Pąk
- formalizacja w logice pierwszego rzędu
- semantyka systemu Mizar
- weryfikacja krzyżowa dowodów systemu Mizar
- poprawa czytelności rozumowań zapisanych w systemie naturalnej dedukcji
pakkarol@uwb.edu.pl
dr Aneta Polewko-Klim
- data science
- sztuczna inteligencja
- bioinformatyka
- spektroskopia magnetooptyczna
anetapol@uwb.edu.pl
dr inż. Wiesław Półjanowicz
- systemy i platformy e-learningowe
- e-Metodyk i e-Dydaktyk
- inteligentne multimedialne systemy edukacyjne
- urządzenia techniki komputerowej
wpoljan@uwb.edu.pl
dr inż. Mariusz Rybnik
- symulacja procesów socjologicznych
- AnyLogic
- sztuczna inteligencja
- programowanie obiektowe
- programowanie zdarzeniowe
- wzorce projektowe
- rozpoznawanie wzorców geometrycznych
- biometria
m.rybnik@uwb.edu.pl
mgr inż. Piotr Stomma
- statystyka matematyczna i teoria informacji w uczeniu maszynowym
- grafowa analiza skupień
- zastosowania uczenia głębokiego nadzorowanego dla danych autoskorelowanych przestrzennie
- selekcja cech i uczenie maszynowe w analizie danych omicznych
p.stomma@uwb.edu.pl
mgr Łukasz Szeremeta
- grafy właściwości (Property Graphs)
- grafowe bazy danych
- reprezentacja wiedzy
- cheminformatyka
- semantyczny Internet (Semantic Web)
l.szeremeta@uwb.edu.pl
dr inż. Krzysztof Szerszeń
- rozwiązywanie zagadnień brzegowych za pomocą Parametrycznych Układów Równań Całkowych
- metody komputerowe w zagadnieniach naukowych i technicznych
- modelowanie 2D i 3D za pomocą krzywych i powierzchni parametrycznych
k.szerszen@uwb.edu.pl
dr inż. Dominik Tomaszuk
- grafowe bazy danych (np. bazy typu property graph, RDF)
- reprezentacja wiedzy (m.in. ontologie, modelowanie konceptualne)
- Internet semantyczny (Semantic Web)
- języki zapytań (SPARQL, Cypher)
- technologie i standardy semantyczne (OWL, RDFS, SHACL)
d.tomaszuk@uwb.edu.pl
dr Małgorzata Zdanowicz
- równania różnicowe
- modelowanie procesów dyskretnych
malgorzata.zdanowicz@uwb.edu.pl
