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
Resume
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
6 total
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
Bruno C. d. S. Oliveira
Bruno C. d. S. Oliveira
Associate Professor, The University of Hong Kong