Harald Ganzinger
aus Wikipedia, der freien Enzyklopädie
Harald Ganzinger (* 31. Oktober 1950; † 3. Juni 2004 in Saarbrücken) war von 1991 bis zu seinem Tod Direktor der Arbeitsgruppe „Logik der Programmierung“ am Saarbrücker Max-Planck-Institut für Informatik.
Harald Ganzinger gehört zu den meistzitierten deutschen Autoren in der Informatik und befindet sich auf Platz 1727 der Citeseer Liste. [1]
[Bearbeiten] Ehrungen
Harald Ganzinger wurde im Jahr 2004 für den renommierten Herbrand-Award nominiert. Der Preis wurde ihm postum verliehen.
[Bearbeiten] Schriften
- Rewrite-based equational theorem proving with selection and simplification
- Resolution theorem proving
- Basic paramodulation
- Complexity analysis based on ordered resolution
- Set constraints are the monadic class
- DPLL (T): Fast decision procedures
- Attribute coupled grammars
[Bearbeiten] Weblinks
- Literatur von und über Harald Ganzinger im Katalog der Deutschen Nationalbibliothek
- Harald Ganzingers Homepage
Personendaten | |
---|---|
NAME | Ganzinger, Harald |
KURZBESCHREIBUNG | Deutscher Informatiker |
GEBURTSDATUM | 31. Oktober 1950 |
GEBURTSORT | Werneck (Bayern) |
STERBEDATUM | 3. Juni 2004 |
STERBEORT | Saarbrücken |