Research areas
Raphael (1509-1511): The School of Athens.
| Explainable Behavioral Engineering: Behavioral modeling, workflow intelligence, process mining, logical specification mining, formal verification, behavioral explainability |
| Logic and Automated Reasoning: Temporal logic, SAT/MaxSAT, SMT solving, theorem proving, constraint reasoning, correctness-by-construction methods |
| AI-Assisted Software Engineering: Requirements engineering, repository intelligence, AI-assisted modeling, software process intelligence, LLM-driven development environments |
| Multi-Agent and Autonomous Systems: LLM-driven agents, agent coordination, symbolic supervision, explainable decision making, autonomous systems verification |
| Context-Aware and Intelligent Environments: Ambient intelligence, ubiquitous computing, IoT ecosystems, context-aware systems, intelligent decision support |
| Programming Languages and Tools: Java, Python |
BPP - Publications Library AGH ORCID DBLP Scopus ResercherID PBN SkOs AGH Google Scholar
Research Topics
Current research directions and ongoing projects:
| Research area | Scope |
|---|---|
| AI-Assisted Software Engineering | Intelligent development environments, AI-IDE platforms, requirements engineering, behavioral modeling, software verification, and repository intelligence. |
| Hybrid LLM–MAS Architectures | LLM-driven agents, multi-agent systems, neuro-symbolic AI, symbolic supervision, and explainable autonomous decision making. |
| Workflow Intelligence and Process Mining | Behavioral analysis, workflow discovery, process verification, anomaly detection, and explainable behavioral engineering. |
| Intelligent Environments and UbiComp | Ambient intelligence, context-aware systems, IoT ecosystems, ubiquitous computing, and autonomous intelligent infrastructures. |