Ralf Hinze
Scholar

Ralf Hinze

Google Scholar ID: SGND_ocAAAAJ
Professor of Software Engineering, TU Kaiserslautern
Programming LanguagesSoftware EngineeringAlgorithms & Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
714
 
H-index
13
 
i10-index
19
 
Publications
20
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Research Experience
  • Current research focuses on the development and application of formal methods to ensure the correctness of software systems.
Background
  • Research interests include: verified correct functional programming in value-dependent typed languages (especially Agda), design of programming languages.
Co-authors
9 total
Co-author 1
Co-author 1
Johan Jeuring
Johan Jeuring
Professor of Software Technology for Learning and Teaching, ICS & FI, Utrecht University
Simon Peyton Jones
Simon Peyton Jones
Epic Games
Nicolas Wu
Nicolas Wu
Professor of Computer Science, Imperial College London
Jeremy Gibbons
Jeremy Gibbons
Professor of Computing, University of Oxford
James Cheney
James Cheney
Professor, Laboratory for Foundations of Computer Science, University of Edinburgh
Co-author 7
Co-author 7
Co-author 8
Co-author 8