Scholar
Reiner Hähnle
Google Scholar ID: UXmx_RUAAAAJ
Professor of Computer Science, Technical University of Darmstadt
Formal Methods
Formal Verification
Program Verification
Software Verification
Multiple-Valued Logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,385
H-index
24
i10-index
53
Publications
20
Co-authors
146
list available
Contact
Email
haehnle@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 (English only)
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
146 total
Co-author 1
Co-author 2
Einar Broch Johnsen
Professor, University of Oslo
Wolfgang Ahrendt
Professor of Computer Science, Chalmers University of Technology
Eduard Kamburjan
Assistant Professor, IT University of Copenhagen
Martin Giese
Prof., Dept. of Informatics, University of Oslo
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up