The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hahnle on the Occasion of His 60th Birthday

This Festschrift, dedicated to Reiner Hähnle on his 60th birthday, contains papers written by many of his closest collaborators, focusing on his main research focus: formal methods, particularly applied to software verification.

Format: Paperback / softback
Length: 521 pages
Publication date: 16 June 2022
Publisher: Springer International Publishing AG

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications.

The contributions in this volume reflect Reiner's main research focus: formal methods, in particular applied to software verification.

Reiner Hähnle is a renowned researcher in the field of software engineering, with a particular emphasis on formal methods. He has held positions at prestigious institutions such as Karlsruhe Institute of Technology and Chalmers University of Technology, where he has made significant contributions to the field.

Since 2011, Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on various areas of software engineering, including formal verification, formal modeling, and analysis. His work has been characterized by significant theoretical advancements and practical implementations.

One of Reiner's notable achievements is his work on the KeY project, which aimed to develop a formal verification framework for object-oriented software. The KeY project was a collaborative effort involving researchers from several institutions, and it resulted in the development of the KeY tool, which is widely used in the industry for software verification.

Reiner's contributions to software engineering have also been recognized with numerous awards and honors. He has served as chair and editor of important related academic conferences, and he has coauthored almost 200 academic publications.

In addition to his academic work, Reiner has been actively involved in industry collaborations, working with companies to apply formal methods to real-world software development problems. He has also been a visiting professor at several institutions around the world, sharing his expertise and knowledge with students and researchers.

Overall, Reiner Hähnle's work has had a profound impact on the field of software engineering, and he is widely regarded as a leading expert in his field. His contributions to formal methods, software verification, and other areas of software engineering have helped to advance the state-of-the-art in the industry and have paved the way for future research and development.

Weight: 813g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031081651
Edition number: 1st ed. 2022