**<fs:x-large; ls:10px>Research interests</fs>**

----

{{:school.jpg?350|}}

**Raphael (1509-1511): //The School of Athens//**.

----

| **Logical automated reasoning, SAT, MaxSAT** | 
| **Software engineering, Model-driven software development** | 
| **Intelligent Environments, Ambient Intelligence, Artificial Intelligence** | 
| **Blockchain, 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]]