https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Harald_GanzingerHarald Ganzinger - Versionsgeschichte2026-06-05T23:46:01ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Harald_Ganzinger&diff=372446&oldid=previmported>Waileo: Weblink: Vorlage SaarBiogr (Namensform gemäß Ziellink)2022-01-03T09:01:34Z<p>Weblink: Vorlage SaarBiogr (Namensform gemäß Ziellink)</p>
<p><b>Neue Seite</b></p><div>'''Harald Ganzinger''' (* [[31. Oktober]] [[1950]] in [[Werneck]] ([[Bayern]]); † [[3. Juni]] [[2004]] in [[Saarbrücken]]) war ein deutscher Informatiker.<br />
__KEIN_INHALTSVERZEICHNIS__<br />
Harald Ganzinger studierte Mathematik mit Nebenfach Informatik an der [[Julius-Maximilians-Universität Würzburg|Universität Würzburg]] und der [[Technische Universität München|TU München]]. Bei [[Jürgen Eickel]] wurde er 1978 promoviert. Er habilitierte sich 1983. Ein Jahr später wurde er Professor am Lehrstuhl für Übersetzerbau und Programmiersysteme der [[Technische Universität Dortmund|Universität Dortmund]]. Er war von 1991 bis zu seinem Tod 2004 Direktor der Arbeitsgruppe „Logik der Programmierung“ am Saarbrücker [[Max-Planck-Institut für Informatik]]. Er gehört zu den meistzitierten deutschen Autoren in der Informatik und befindet sich auf Platz 1727 der [[CiteSeer]]-Liste (Stand August 2006).<ref>http://citeseer.ist.psu.edu/allcited.html</ref> Ganzinger erhielt 2004 den renommierten [[Herbrand Award]]. Der Preis wurde ihm kurz vor seinem Tod verliehen.<br />
<br />
== Schriften ==<br />
* Rewrite-based equational theorem proving with selection and simplification<br />
* Resolution theorem proving<br />
* Basic paramodulation<br />
* Complexity analysis based on ordered resolution<br />
* Set constraints are the monadic class<br />
* DPLL (T): Fast decision procedures<br />
* Attribute coupled grammars<br />
<br />
== Literatur ==<br />
* Kurt Mehlhorn, Uwe Waldmann, Reinhard Wilhelm: ''Harald Ganzinger 31.10.1950 – 3.6.2004.'' In: Max-Planck-Gesellschaft, Jahrbuch 2005, S. 107–108.<br />
<br />
== Weblinks ==<br />
* {{DNB-Portal|121309215}}<br />
* {{SaarBiogr|3305|Ganzinger Harald}}<br />
* [http://people.mpi-inf.mpg.de/alumni/ag2/2011/hg/ Harald Ganzingers Homepage]<br />
* [https://web.archive.org/web/20040830015524/http://www.uni-saarland.de/verwalt/presse/campus/2004/3/38-trauer.html Nachruf der Universität des Saarlandes]<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=121309215|LCCN=n/85/265531|VIAF=35028679}}<br />
<br />
{{SORTIERUNG:Ganzinger, Harald}}<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Hochschullehrer (Technische Universität Dortmund)]]<br />
[[Kategorie:Hochschullehrer (Universität des Saarlandes, Saarbrücken)]]<br />
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]<br />
[[Kategorie:Wissenschaftliches Mitglied der Max-Planck-Gesellschaft]]<br />
[[Kategorie:Deutscher]]<br />
[[Kategorie:Geboren 1950]]<br />
[[Kategorie:Gestorben 2004]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Ganzinger, Harald<br />
|ALTERNATIVNAMEN=<br />
|KURZBESCHREIBUNG=deutscher Informatiker<br />
|GEBURTSDATUM=31. Oktober 1950<br />
|GEBURTSORT=[[Werneck]], Bayern<br />
|STERBEDATUM=3. Juni 2004<br />
|STERBEORT=[[Saarbrücken]]<br />
}}</div>imported>Waileo