Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic. He received the Herbrand Award in 2004 (posthumous) for his important contributions to automated theorem proving.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - هارالد جانزينجر (ar)
- Harald Ganzinger (de)
- Harald Ganzinger (en)
|
| rdfs:comment
| - هارالد جانزينجر (بالإنجليزية: Harald Ganzinger) (من مواليد 31 أكتوبر 1950، توفي في يونيو 2004، ساربروكن) كان عالمًا ألمانيًا في مجال الكمبيوتر، وقام بالتعاون مع ليو باشماير بتطوير حساب التراكب، والذي تم استخدامه (في عام 2007) في معظم الأنظمة الأوتوماتيكية الحديثة. حصل على جائزة هيربراند في عام 2004 (بعد وفاته) لمساهماته الهامة في إثبات النظرية الآلية - انظر (قائمة الجوائز والميداليات). (ar)
- Harald Ganzinger (* 31. Oktober 1950 in Werneck (Bayern); † 3. Juni 2004 in Saarbrücken) war ein deutscher Informatiker. Harald Ganzinger studierte Mathematik mit Nebenfach Informatik an der Universität Würzburg und der 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 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). Ganzinger erhielt 2004 den renommierten Herbrand Award. Der Preis wurde ihm kurz vor seinem Tod v (de)
- Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic. He received the Herbrand Award in 2004 (posthumous) for his important contributions to automated theorem proving. (en)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - هارالد جانزينجر (بالإنجليزية: Harald Ganzinger) (من مواليد 31 أكتوبر 1950، توفي في يونيو 2004، ساربروكن) كان عالمًا ألمانيًا في مجال الكمبيوتر، وقام بالتعاون مع ليو باشماير بتطوير حساب التراكب، والذي تم استخدامه (في عام 2007) في معظم الأنظمة الأوتوماتيكية الحديثة. حصل على الدكتوراه من جامعة ميونخ التقنية عام 1978. قبل عام 1991 كان أستاذًا لعلوم الكمبيوتر في جامعة دورتموند للتكنولوجيا. ثم التحق بمعهد ماكس بلانك لعلوم الكمبيوتر في ساربروكن بعد فترة وجيزة من تأسيسه في عام 1991. حتى عام 2004 كان مدير قسم البرمجة المنطقية لمعهد ماكس بلانك لعلوم الكمبيوتر والأستاذ الفخري في جامعة سارلاند. أنشأت مجموعته البحثية نظرية مبرمج نظام SPASS الآلي. حصل على جائزة هيربراند في عام 2004 (بعد وفاته) لمساهماته الهامة في إثبات النظرية الآلية - انظر (قائمة الجوائز والميداليات). (ar)
- Harald Ganzinger (* 31. Oktober 1950 in Werneck (Bayern); † 3. Juni 2004 in Saarbrücken) war ein deutscher Informatiker. Harald Ganzinger studierte Mathematik mit Nebenfach Informatik an der Universität Würzburg und der 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 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). Ganzinger erhielt 2004 den renommierten Herbrand Award. Der Preis wurde ihm kurz vor seinem Tod verliehen. (de)
- Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic. He received his Ph.D. from the Technical University of Munich in 1978. Before 1991 he was a Professor of Computer Science at University of Dortmund. Then he joined the Max Planck Institute for Computer Science in Saarbrücken shortly after it was founded in 1991. Until 2004 he was the Director of the Programming Logics department of the Max Planck Institute for Computer Science and honorary professor at Saarland University. His research group created the SPASS automated theorem prover. He received the Herbrand Award in 2004 (posthumous) for his important contributions to automated theorem proving. (en)
|
| gold:hypernym
| |
| schema:sameAs
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)