Reiner Hähnle is affiliated with the Technical University of Darmstadt in Germany and specializes in computer science, with a focus on fields including artificial intelligence, computational theory and mathematics, software, computer networks and communications, and information systems.
The main topics of Reiner Hähnle's research involve formal methods in verification, logic, programming, and type systems, software testing and debugging techniques, security and verification in computing, distributed systems and fault tolerance, software engineering research, and advanced software engineering methodologies.
Frequent coauthors collaborating with Reiner Hähnle include Richard Bubel, Eduard Kamburjan, Marco Scaletta, Dominic Steinhöfel, and Einar Broch Johnsen.
Reiner Hähnle has contributed papers to several publication venues, notably: arXiv (Cornell University), International Journal on Software Tools for Technology Transfer, ACM Transactions on Modeling and Computer Simulation, EPiC series in computing, and ACM Transactions on Programming Languages and Systems.
Recent papers include the following:
Reiner Hähnle has also published a book titled Deductive Software Verification: Future Perspectives in 2020, through Springer Science+Business Media.
Bernhard Beckert;Reiner Hähnle;Peter H. Schmitt
Einar Broch Johnsen;Reiner Hähnle;Jan Schäfer;Rudolf Schlatte
Wolfgang Ahrendt;Thomas Baar;Bernhard Beckert;Richard Bubel
Marcello D'Agostino;Dov M. Gabbay;Reiner Hähnle;Joachim Posegga
Wolfgang Ahrendt;Bernhard Beckert;Richard Bubel;Reiner Hähnle
Ádám Darvas;Reiner Hähnle;David Sands
Reiner Hähnle
Reiner Hähnle
Frank De Boer;Vlad Serbanescu;Reiner Hähnle;Ludovic Henrio
Antonio Flores-Montoya;Reiner Hähnle
Reiner Hähnle
Reiner Hähnle
Stijn de Gouw;Jurriaan Rot;Jurriaan Rot;Frank S. de Boer;Frank S. de Boer;Richard Bubel
Bernhard Beckert;Reiner Hähnle;Peter H. Schmitt
Reiner Hähnle
R. Hahnle
Wolfgang Ahrendt;Bernhard Beckert;Daniel Bruns;Richard Bubel
Reiner Hähnle;Marieke Huisman
Wolfgang Ahrendt;Thomas Baar;Bernhard Beckert;Martin Giese
Christian Engel;Reiner Hähnle
Reiner Hähnle
Reiner Hähnle;Kristofer Johannisson;Aarne Ranta
Bernhard Beckert;Reiner Hahnle
Elvira Albert;Frank S. Boer;Reiner Hähnle;Einar Broch Johnsen
Reiner Hähnle;Gonzalo Escalada Imaz
Reiner Hähnle;Ina Schaefer
If you think any of the details on this page are incorrect, let us know.
Tata Institute of Fundamental Research
Universitätsmedizin Göttingen
University of California, San Francisco
Blackberry (United States)
University of Helsinki
Ghent University
Institut National de la Recherche Scientifique
University of Leeds
Heriot-Watt University
Tulane University
Wageningen University & Research
University of California, San Francisco
Czech Technical University in Prague
South China University of Technology
Tokyo Medical and Dental University
Florida Museum of Natural History
