Reiner Hähnle
Scholar

Reiner Hähnle

Google Scholar ID: UXmx_RUAAAAJ
Professor of Computer Science, Technical University of Darmstadt
Formal MethodsFormal VerificationProgram VerificationSoftware VerificationMultiple-Valued Logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,385
 
H-index
24
 
i10-index
53
 
Publications
20
 
Co-authors
146
list available
Contact
Emailhaehnle@informatik.tu-darmstadt.de
Publications
3 items
RustyDL: A Program Logic for Rust
2026
Cited
0
Formal Verification of Legal Contracts: A Translation-based Approach
2025
Cited
0
A Sequent Calculus For Trace Formula Implication
2025
Cited
0
Resume
Academic Achievements
  • Has a DBLP and Google Scholar profile, indicating published academic papers.
Research Experience
  • Serves as a professor of Software Engineering at TU Darmstadt.
Education
  • Holds a Doctorate in Natural Sciences (Dr. rer. nat.), but specific school and advisor information is not provided.
Background
  • Professor of Software Engineering (SE), with research interests in the field of software engineering.
Miscellany
  • Contact: haehnle@informatik.tu-...; Office phone: +49 6151 16-22364 (Secretary); Fax: +49 6151 16-22361; Office address: S2|02 A204, Hochschulstraße 10, 64289 Darmstadt
Co-authors
8 total
Einar Broch Johnsen
Einar Broch Johnsen
Professor, University of Oslo
Wolfgang Ahrendt
Wolfgang Ahrendt
Professor of Computer Science, Chalmers University of Technology
Eduard Kamburjan
Eduard Kamburjan
Assistant Professor, IT University of Copenhagen
Martin Giese
Martin Giese
Prof., Dept. of Informatics, University of Oslo
Mattias Ulbrich
Mattias Ulbrich
Karlsruhe Institute of Technology
Ina Schaefer
Ina Schaefer
Karlsruhe Institute of Technology (KIT)
Silvia Lizeth Tapia Tarifa
Silvia Lizeth Tapia Tarifa
Associate Professor, Department of Informatics - University Of Oslo
Ferruccio Damiani
Ferruccio Damiani
Full Professor of Compurer Science, University of Torino