**Research areas** ---- {{:school.jpg?350|}} **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 | [[https://bpp.agh.edu.pl/autor/klimek-radoslaw-01069|BPP - Publications Library AGH]] [[https://orcid.org/0000-0002-9061-561X|ORCID]] [[https://dblp.org/pid/97/364.html|DBLP]] [[https://www.scopus.com/authid/detail.uri?authorId=55250240200|Scopus]] [[https://publons.com/researcher/4132938/radosaw-klimek/|ResercherID]] [[https://pbn.nauka.gov.pl/core/#/person/view/5e70922b878c28a04739115a/current |PBN]] [[https://skos.agh.edu.pl/osoba/radoslaw-klimek-1412.html|SkOs AGH]] [[https://scholar.google.pl/citations?user=PqV3P9oAAAAJ&hl=pl|Google Scholar]] ===== Research Topics ===== Current research directions and ongoing projects: ^ Research area ^ Scope ^ | **[[research:ai4se|AI-Assisted Software Engineering]]** | Intelligent development environments, AI-IDE platforms, requirements engineering, behavioral modeling, software verification, and repository intelligence. | | **[[research:mas|Hybrid LLM–MAS Architectures]]** | LLM-driven agents, multi-agent systems, neuro-symbolic AI, symbolic supervision, and explainable autonomous decision making. | | **[[research:process|Workflow Intelligence and Process Mining]]** | Behavioral analysis, workflow discovery, process verification, anomaly detection, and explainable behavioral engineering. | | **[[research:ubicomp|Intelligent Environments and UbiComp]]** | Ambient intelligence, context-aware systems, IoT ecosystems, ubiquitous computing, and autonomous intelligent infrastructures. |