Różnice

Różnice między wybraną wersją a wersją aktualną.

--- research [2025/11/03 20:54] – admin
+++ research [2026/06/19 16:54] (aktualna) – admin
@@ Linia 9: / Linia 9: @@
 ----
-| **Reasoning and Optimization:** Logical and automated reasoning, SAT/MaxSAT solving, constraint satisfaction, workflow mining |
+| **Explainable Behavioral Engineering:** Behavioral modeling, workflow intelligence, process mining, logical specification mining, formal verification, behavioral explainability |
-| **Software and Systems Engineering:** Model-driven engineering, IDEs inspired by LLMs, MAS driven by LLMs, distributed systems, blockchain |
+| **Logic and Automated Reasoning:** Temporal logic, SAT/MaxSAT, SMT solving, theorem proving, constraint reasoning, correctness-by-construction methods |
-| **Intelligent and Pervasive Environments:** Ambient intelligence, IoT, context-aware systems, ubiquitous computing, LLMs for intelligent systems |
+| **AI-Assisted Software Engineering:** Requirements engineering, repository intelligence, AI-assisted modeling, software process intelligence, LLM-driven development environments |
-| **Artificial Intelligence and Data Analysis:** Machine learning, knowledge extraction, and decision intelligence |
+| **Multi-Agent and Autonomous Systems:** LLM-driven agents, agent coordination, symbolic supervision, explainable decision making, autonomous systems verification |
-| Java, Python |
+| **Context-Aware and Intelligent Environments:** Ambient intelligence, ubiquitous computing, IoT ecosystems, context-aware systems, intelligent decision support |
+| **Programming Languages and Tools:** Java, Python |
@@ Linia 26: / Linia 26: @@
 [[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. |