Scholarlink

On the occasion of Wolfgang Reif’s 65th birthday, we offer an outline of Wolfgang’s remarkable scientific achievements. Beginning with his work on formal methods and, in particular, on the interactive theorem prover KIV, we look at his major results in the areas of security and safety, self-organizing systems, robotics, and AI methods. Additionally, we briefly discuss his impact on the research community and on academic study programmes. We conclude with our heartfelt thanks to him.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

A Tale of Formal Methods, Organic Computing, and Intelligent Robotics — The Scientific Life of Wolfgang Reif

  • 章节

  • 发表日期：

    2025年

查看全文
  • Dominik Haneberg,
  • Alexander Knapp,
  • Oliver Kosak,
  • Florian Nafz,
  • Hella Ponsar,
  • Gerhard Schellhorn,
  • Martin Wirsing

摘要

On the occasion of Wolfgang Reif’s 65th birthday, we offer an outline of Wolfgang’s remarkable scientific achievements. Beginning with his work on formal methods and, in particular, on the interactive theorem prover KIV, we look at his major results in the areas of security and safety, self-organizing systems, robotics, and AI methods. Additionally, we briefly discuss his impact on the research community and on academic study programmes. We conclude with our heartfelt thanks to him.