Radosław Klimek

Radosław Klimek serves as a Professor at AGH University of Science and Technology in Kraków, affiliated with the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering within the Department of Applied Computer Science. His office is located in room C-2 404, and he maintains active contact through email and office hours (Thursdays 11:00-12:00).

His research centers on formal methods and software verification, with significant contributions to context-aware systems, logical specifications, and process mining. Key areas include:

• Deduction-based verification of behavioral models
• Automatic generation of logical specifications
• Smart environment applications for rescue operations and tourism
• Temporal logic applications in software engineering

His work bridges theoretical computer science with practical implementations in environmental monitoring and public safety systems.

His publication record demonstrates consistent output in high-impact venues, with recent focus on LLM integration for model verification (2025) and context-aware systems for forest monitoring (2024). The research trajectory shows evolution from foundational work in temporal logic (1990s) to contemporary applications in smart environments and AI-assisted verification.

No scientific awards were explicitly mentioned in the source materials.

Professor Klimek maintains active teaching responsibilities with defined office hours for student consultations. His research spans multiple domains including smart city infrastructure, environmental monitoring systems, and formal verification frameworks. Current projects involve context-aware systems for mountain rescue operations and police interventions, leveraging sensor networks and real-time data processing.

His laboratory work focuses on contextual data modeling and deduction-based verification systems, with practical implementations in:

• Forest monitoring networks
• Intelligent queue management
• Tourist assistance applications
• Smart contract validation

These projects integrate formal methods with real-world environmental and public safety challenges.