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
Citations & Impact
All-time
Citations
2,385
 
H-index
24
 
i10-index
53
 
Publications
20
 
Co-authors
146
list available
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