Research areas
Raphael (1509-1511): The School of Athens.
| Reasoning and Optimization: Logical and automated reasoning, SAT/MaxSAT solving, constraint satisfaction, workflow mining |
| Software and Systems Engineering: Model-driven engineering, IDEs inspired by LLMs, MAS driven by LLMs, distributed systems, blockchain |
| Intelligent and Pervasive Environments: Ambient intelligence, IoT, context-aware systems, ubiquitous computing, LLMs for intelligent systems |
| Artificial Intelligence and Data Analysis: Machine learning, knowledge extraction, and decision intelligence |
| Java, Python |
BPP - Publications Library AGH ORCID DBLP Scopus ResercherID PBN SkOs AGH Google Scholar