**Research areas** ---- {{:school.jpg?350|}} **Raphael (1509-1511): //The School of Athens//**. ---- | **Reasoning and Optimization:** Logical and automated reasoning, SAT/MaxSAT solving, constraint satisfaction, workflow mining | | **Software and Systems Engineering:** Model-driven engineering, IDEs inspired by LLMs, MAS driven by LLMs, distributed systems, blockchain | | **Intelligent and Pervasive Environments:** Ambient intelligence, IoT, context-aware systems, ubiquitous computing, LLMs for intelligent systems | | **Artificial Intelligence and Data Analysis:** Machine learning, knowledge extraction, and decision intelligence | | 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]]