Mrówka Rafał, dr inż.

Lider: Szmuc Tomasz Bartłomiej

Badania zespołu dotyczą zastosowania inteligentnych metod w dwóch zasadniczych obszarach: inżynierii oprogramowania oraz analizie danych. Inteligentne metody rozumiane są szeroko, tzn. jako metody sztucznej inteligencji (AI) w klasycznym ujęciu oraz formalne metody modelowania i analizy (sieci Petriego, algebry procesów, logiki temporalne, modele probabilistyczne, zbiory rozmyte, zbiory przybliżone). Stosowane podejście charakteryzuje się istotnym powiązaniem z metodami inżynierskimi – dotyczy to zarówno rozwijania tych metod również ich wspomagania czy też szukania nowych rozwiązań z wykorzystaniem aparatu AI i metod formalnych.