Inteligentne Metody w Inżynierii Oprogramowania i Analizie Danych

Powrót do listy Profil BaDAP
Opis
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.

Kontakt


30-058 Kraków, al. Mickiewicza 30, budynek C2, pok. 402
12 617 28 32

Jednostka prowadząca

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej - Katedra Informatyki Stosowanej

Lider zespołu

Szmuc Tomasz Bartłomiej

Zespół

  • Mrówka Rafał
  • Piwowarczyk Jacek
  • Rogus Grzegorz
  • Szmuc Wojciech
  • Szwed Piotr
  • Pięta Piotr

Obszary badawcze IDUB

  • Inteligentne techniki informacyjne, telekomunikacyjne, komputerowe i sterowania

Słowa kluczowe