Różnice

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

--- research [2020/12/29 13:01] – admin
+++ research [2026/06/19 16:54] (aktualna) – admin
@@ Linia 1: / Linia 1: @@
-**<fs:x-large; ls:10px>Research interests</fs>**
+**<fs:x-large; ls:10px>Research areas</fs>**
 ----
@@ Linia 9: / Linia 9: @@
 ----
-| **Logical automated reasoning, SAT, MaxSAT** |
+| **Explainable Behavioral Engineering:** Behavioral modeling, workflow intelligence, process mining, logical specification mining, formal verification, behavioral explainability |
-| **Software engineering, Model-driven software development** |
+| **Logic and Automated Reasoning:** Temporal logic, SAT/MaxSAT, SMT solving, theorem proving, constraint reasoning, correctness-by-construction methods |
-| **Intelligent Environments, Ambient Intelligence, Artificial Intelligence** |
+| **AI-Assisted Software Engineering:** Requirements engineering, repository intelligence, AI-assisted modeling, software process intelligence, LLM-driven development environments |
-| **Blockchain, Java, Python** |
+| **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 |
@@ Linia 25: / 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. |