Ernst Sebastian, dr inż.

Lider: Szpyrka Marcin

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.