Rolf Drechsler

About

Rolf Drechsler’s research lies at the intersection of formal verification, autonomous robotics, and explainable digital systems. He has pioneered methods to ensure the safety and reliability of cognition-enabled robots operating in real-world environments, notably through the development of the Intermediate Plan Verification Language (IPVL) for formally verifying robotic plans. His work on self-explaining digital systems addresses a critical challenge in modern computing: enabling complex, adaptive systems to articulate their reasoning to both users and designers. Drechsler has also explored the impact of tangible programming tools—such as robots and wearables—on young students’ programming skills and attitudes, contributing to computer science education. While his citation counts (ranging from 2 to 10 for highlighted papers) reflect an emerging body of work, his contributions are notable for their interdisciplinary ambition: bridging formal logic, autonomous agent verification, and human-centered system design. His research is particularly relevant for students and researchers interested in trustworthy AI, safe autonomy, and transparent digital systems.

Research Focus

Key Achievements

Top Papers

1. 1
   Impacts of Creating Smart Everyday Objects on Young Female Students' Programming Skills and Attitudes

   10 citations · 2020
2. 2
   Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents

   4 citations · 2019
3. 3
   Self-explaining Digital Systems: Technical View, Implementation Aspects, and Completeness

   3 citations · 2019
4. 4
   Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling

   3 citations · 2020
5. 5
   Self-Explaining Digital Systems - Some Technical Steps.

   2 citations · 2019

Key Collaborators

Contact & Links