Intelligent Methods in Software Engineering and Data Analysis

Back to list BaDAP profile
Description
The team's research concerns the application of intelligent methods in two main areas: software engineering and data analysis. Intelligent methods are understood broadly, i.e. as Artificial Intelligence (AI) methods in the classical sense, as well as formal methods of modelling and analysis (Petri nets, process algebras, temporal logics, probabilistic models, fuzzy sets, rough sets). An important connection with engineering methods characterizes the approach used - this applies to the development of these methods and their support or the search for new solutions using AI tools and formal methods.

Contact


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

Leading unit

Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering - Department of Applied Computer Science

Team leader

Szmuc Tomasz Bartłomiej

Team members

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

IDUB research areas

  • Intelligent information, telecommunication, computer, and control and operation technologies

Keywords