| Opis zakresu działań | Obszary zainteresowania zespołu obejmują cztery aspekty: modelowanie, eksplorację, optymalizację oraz przepływy pracy (workflows).
Modelowanie – budowanie formalnych reprezentacji obiektów i procesów świata rzeczywistego. Obszar obejmuje formalne modelowanie systemów informatycznych z użyciem m.in. różnych klas sieci Petriego, specjalizowanych języków formalnych (np. Alvis) i automatów skończonych. Celem jest tworzenie precyzyjnych, matematycznie ugruntowanych modeli, umożliwiających analizę poprawności, bezpieczeństwa i wydajności systemów. Analiza systemów prowadzona jest w oparciu o pełne i zredukowane przestrzenie stanów, analizę symboliczną, techniki weryfikacji modelowej, a także redukcję modeli i analizę strukturalną.
Eksploracja – badanie danych w celu ich zrozumienia, odkrycia wzorców i zależności oraz uchwycenia istotnych szczegółów. Obszar obejmuje eksplorację danych i wiedzy z dużych, heterogenicznych zbiorów. Badania dotyczą baz danych relacyjnych, grafowych oraz technologii blockchain, a także analizy danych przestrzennych (GIS), tekstowych i obrazowych. Wykorzystywane są metody uczenia maszynowego, analizy obrazu, analizy tekstu (w tym modele językowe LLM oraz VLM) oraz techniki odkrywania wzorców, zależności i anomalii w danych.
Optymalizacja – poprawa działania procesów w oparciu o wnioski z przeprowadzonych analiz. Prace w tym obszarze dotyczą optymalizacji struktur, procesów i algorytmów w systemach informatycznych oraz w analizie danych. Obejmują zarówno optymalizację modeli formalnych, jak i algorytmów eksploracji danych, procesów decyzyjnych oraz modeli uczenia maszynowego.
Workflows – uporządkowanie i zrozumienie procesów badawczych oraz analitycznych. Obszar ten obejmuje eksplorację procesów, integrację danych procesowych z modelami formalnymi oraz projektowanie kompleksowych przepływów pracy (workflows) łączących modelowanie, eksplorację i optymalizację. Celem jest tworzenie spójnych, powtarzalnych i automatyzowalnych pipeline'ów badawczych i analitycznych. |
|---|
Ernst SebastianWydział Elektrotechniki, Automatyki, Informatyki i Inżynierii BiomedycznejKatedra Informatyki Stosowanej