Różnice

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

--- research [2020/09/27 23:17] – admin
+++ research [2026/06/19 16:54] (aktualna) – admin
@@ Linia 1: / Linia 1: @@
+**<fs:x-large; ls:10px>Research areas</fs>**
-| Logical automated reasoning, SAT, MaxSAT |
+----
-| Software engineering, Model-driven software development |
-| Intelligent Environments, Ambient Intelligence, Artificial Intelligence |
-| Blockchain, Java, Python |
+{{:school.jpg?350|}}
-| [[https://bpp.agh.edu.pl/autor/klimek-radoslaw-01069|BPP]]
+**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://scholar.google.pl/citations?user=PqV3P9oAAAAJ&hl=pl|Google Scholar]] |
+[[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. |