Harald Ganzinger
http://dbpedia.org/resource/Harald_Ganzinger an entity of type: Thing
هارالد جانزينجر (بالإنجليزية: Harald Ganzinger) (من مواليد 31 أكتوبر 1950، توفي في يونيو 2004، ساربروكن) كان عالمًا ألمانيًا في مجال الكمبيوتر، وقام بالتعاون مع ليو باشماير بتطوير حساب التراكب، والذي تم استخدامه (في عام 2007) في معظم الأنظمة الأوتوماتيكية الحديثة. حصل على جائزة هيربراند في عام 2004 (بعد وفاته) لمساهماته الهامة في إثبات النظرية الآلية - انظر (قائمة الجوائز والميداليات).
rdf:langString
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
rdf:langString
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.
rdf:langString
rdf:langString
هارالد جانزينجر
rdf:langString
Harald Ganzinger
rdf:langString
Harald Ganzinger
xsd:integer
10473265
xsd:integer
1068154763
rdf:langString
هارالد جانزينجر (بالإنجليزية: Harald Ganzinger) (من مواليد 31 أكتوبر 1950، توفي في يونيو 2004، ساربروكن) كان عالمًا ألمانيًا في مجال الكمبيوتر، وقام بالتعاون مع ليو باشماير بتطوير حساب التراكب، والذي تم استخدامه (في عام 2007) في معظم الأنظمة الأوتوماتيكية الحديثة. حصل على الدكتوراه من جامعة ميونخ التقنية عام 1978. قبل عام 1991 كان أستاذًا لعلوم الكمبيوتر في جامعة دورتموند للتكنولوجيا. ثم التحق بمعهد ماكس بلانك لعلوم الكمبيوتر في ساربروكن بعد فترة وجيزة من تأسيسه في عام 1991. حتى عام 2004 كان مدير قسم البرمجة المنطقية لمعهد ماكس بلانك لعلوم الكمبيوتر والأستاذ الفخري في جامعة سارلاند. أنشأت مجموعته البحثية نظرية مبرمج نظام SPASS الآلي. حصل على جائزة هيربراند في عام 2004 (بعد وفاته) لمساهماته الهامة في إثبات النظرية الآلية - انظر (قائمة الجوائز والميداليات).
rdf:langString
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.
rdf:langString
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.
xsd:nonNegativeInteger
2103