Różnice

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

--- research [2020/12/29 13:01] – admin
+++ research [2025/11/03 20: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** |
+| **Reasoning and Optimization:** Logical and automated reasoning, SAT/MaxSAT solving, constraint satisfaction, workflow mining |
-| **Software engineering, Model-driven software development** |
+| **Software and Systems Engineering:** Model-driven engineering, IDEs inspired by LLMs, MAS driven by LLMs, distributed systems, blockchain |
-| **Intelligent Environments, Ambient Intelligence, Artificial Intelligence** |
+| **Intelligent and Pervasive Environments:** Ambient intelligence, IoT, context-aware systems, ubiquitous computing, LLMs for intelligent systems |
-| **Blockchain, Java, Python** |
+| **Artificial Intelligence and Data Analysis:** Machine learning, knowledge extraction, and decision intelligence |
+| Java, Python |