Ernst-Rüdiger Olderog (born 4 June 1955) is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany. Olderog comes from Bredenbek in Schleswig-Holstein, northern Germany, and studied computer science, mathematics and logic at the University of Kiel, where he received his doctorate in 1981 supervised by Prof. on Hoare-style characterization systems for ALGOL-like programming languages. After several research visits abroad (including the Programming Research Group at the University of Oxford and in Amsterdam, Edinburgh, Yorktown Heights and Saarbrücken), he habilitated at Kiel University in 1989 as well. Since 1989, Olderog has been based at the Department of Computer Science, University of Oldenburg. In 1994, Olderog, together with
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - ارنست روديغر أولدوروغ (ar)
- Ernst-Rüdiger Olderog (de)
- Ernst-Rüdiger Olderog (en)
|
| rdfs:comment
| - ارنست روديغر أولدوروغ (بالإنجليزية: Ernst-Rüdiger Olderog) (من مواليد 4 يونيو 1955) وهو عالم كمبيوتر ألماني وهو أستاذ في جامعة أولدنبورغ في شمال ألمانيا. ولد أولديروغ في بريدينبيك في شلسفيغ هولشتاين، شمال ألمانيا، ودرس علم الحاسوب والرياضيات والمنطق في جامعة كيل، حيث حصل على شهادة الدكتوراه في عام 1981 تحت إشراف البروفيسور هانز لانجماك على أنظمة توصيف نمط هورر في لغة تدى ألغول (لغة برمجة). بعد عدة زيارات بحثية في الخارج (بما في ذلك مجموعة أبحاث البرمجة في جامعة أوكسفورد وأمستردام، جامعة إدنبرة, مركز أبحاث توماس جون واتسون وجامعة سارلاند)، حصل على شهادة التأهل للأستاذية في جامعة كيل في عام 1989 أيضًا. منذ عام 1989، تم تأسيس ارنست في قسم علوم الكمبيوتر، جامعة أولدنبورغ. في عام 1994، مُنح أولدروغ، مع زميله مانفريد بروي، جائزة مؤسسة البحوث الألمانية (DFG)، بقيمة ثلاثة ملايين مارك ألماني. من ع (ar)
- Ernst-Rüdiger Olderog (* 1955) ist ein deutscher Professor seit 1989 für Theoretische Informatik an der Carl von Ossietzky Universität Oldenburg. Er ist Leiter der Abteilung Entwicklung korrekter Systeme (bis 31. März 2003: Abteilung Semantik), deren Forschungsarbeiten dem Gebiet der Theorie der Programmierung zuzuordnen sind. Ziel dieser Arbeiten ist die Entwicklung von Vorgehensweisen für die systematische Erstellung von korrekter Software für parallele und verteilte Systeme mit Zeitanforderungen. Für seine Forschungsarbeiten ist Olderog 1994 mit dem Leibniz-Preis der DFG ausgezeichnet worden. Olderog ist Autor verschiedener wissenschaftlicher Bücher und war Herausgeber der Zeitschrift Acta Informatica und Vorsitzender der IFIP Working Group 2.2 on Formal Description of Programming Conce (de)
- Ernst-Rüdiger Olderog (born 4 June 1955) is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany. Olderog comes from Bredenbek in Schleswig-Holstein, northern Germany, and studied computer science, mathematics and logic at the University of Kiel, where he received his doctorate in 1981 supervised by Prof. on Hoare-style characterization systems for ALGOL-like programming languages. After several research visits abroad (including the Programming Research Group at the University of Oxford and in Amsterdam, Edinburgh, Yorktown Heights and Saarbrücken), he habilitated at Kiel University in 1989 as well. Since 1989, Olderog has been based at the Department of Computer Science, University of Oldenburg. In 1994, Olderog, together with (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
| - ارنست روديغر أولدوروغ (بالإنجليزية: Ernst-Rüdiger Olderog) (من مواليد 4 يونيو 1955) وهو عالم كمبيوتر ألماني وهو أستاذ في جامعة أولدنبورغ في شمال ألمانيا. ولد أولديروغ في بريدينبيك في شلسفيغ هولشتاين، شمال ألمانيا، ودرس علم الحاسوب والرياضيات والمنطق في جامعة كيل، حيث حصل على شهادة الدكتوراه في عام 1981 تحت إشراف البروفيسور هانز لانجماك على أنظمة توصيف نمط هورر في لغة تدى ألغول (لغة برمجة). بعد عدة زيارات بحثية في الخارج (بما في ذلك مجموعة أبحاث البرمجة في جامعة أوكسفورد وأمستردام، جامعة إدنبرة, مركز أبحاث توماس جون واتسون وجامعة سارلاند)، حصل على شهادة التأهل للأستاذية في جامعة كيل في عام 1989 أيضًا. منذ عام 1989، تم تأسيس ارنست في قسم علوم الكمبيوتر، جامعة أولدنبورغ. في عام 1994، مُنح أولدروغ، مع زميله مانفريد بروي، جائزة مؤسسة البحوث الألمانية (DFG)، بقيمة ثلاثة ملايين مارك ألماني. من عام 1995 إلى عام 2005، كان أولديروغ رئيسًا لمجموعة العمل الخاصة بـ 2.2 IFIP - الجمعية الدولية لمعالجة المعلومات - حول الوصف الرسمي لمفاهيم البرمجة. في عام 1998، حصل على جائزة Silver Core من IFIP عن عمله في مجموعة IFIP. كان أولديروغ محررًا في مجلة اكتا إنفورماتيكا وكان عضوًا في أكاديميا يوروبا منذ عام 2012. كان أولديروغ أستاذ في علم الحاسوب النظري في جامعة كارل فون أوسيتزكي أولدنبورغ. وهو رئيس قسم تطوير الأنظمة الصحيحة والتي يرتبط بحثها بمجال نظرية البرمجة. الهدف من هذا العمل هو تطوير إجراءات لإنشاء برمجيات صحيحة للنظم المتوازية. ألف أولروغ العديد من الكتب العلمية. (ar)
- Ernst-Rüdiger Olderog (* 1955) ist ein deutscher Professor seit 1989 für Theoretische Informatik an der Carl von Ossietzky Universität Oldenburg. Er ist Leiter der Abteilung Entwicklung korrekter Systeme (bis 31. März 2003: Abteilung Semantik), deren Forschungsarbeiten dem Gebiet der Theorie der Programmierung zuzuordnen sind. Ziel dieser Arbeiten ist die Entwicklung von Vorgehensweisen für die systematische Erstellung von korrekter Software für parallele und verteilte Systeme mit Zeitanforderungen. Für seine Forschungsarbeiten ist Olderog 1994 mit dem Leibniz-Preis der DFG ausgezeichnet worden. Olderog ist Autor verschiedener wissenschaftlicher Bücher und war Herausgeber der Zeitschrift Acta Informatica und Vorsitzender der IFIP Working Group 2.2 on Formal Description of Programming Concepts. Für seine Arbeit in dieser IFIP-Gruppe erhielt er 1998 die Silver Core Auszeichnung der IFIP. (de)
- Ernst-Rüdiger Olderog (born 4 June 1955) is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany. Olderog comes from Bredenbek in Schleswig-Holstein, northern Germany, and studied computer science, mathematics and logic at the University of Kiel, where he received his doctorate in 1981 supervised by Prof. on Hoare-style characterization systems for ALGOL-like programming languages. After several research visits abroad (including the Programming Research Group at the University of Oxford and in Amsterdam, Edinburgh, Yorktown Heights and Saarbrücken), he habilitated at Kiel University in 1989 as well. Since 1989, Olderog has been based at the Department of Computer Science, University of Oldenburg. In 1994, Olderog, together with his colleague Manfred Broy, was awarded the Deutsche Forschungsgemeinschaft (DFG) Gottfried Wilhelm Leibniz Prize, worth three million DM. From 1995 to 2005, Olderog was chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. In 1998, he received the Silver Core Award from IFIP for his work in this IFIP group. Olderog was editor of the journal Acta Informatica and has been a member of the Academia Europaea since 2012. Olderog is professor of theoretical computer science at the Carl von Ossietzky University Oldenburg. He is head of the Department of Correct Systems Development, whose research is related to the field of programming theory. The aim of this work is the development of procedures for the systematic creation of correct software for parallel and distributed systems with time requirements. Olderog is the author of several scientific books. In 2015, a symposium was held at the Carl von Ossietzky University Oldenburg celebrating Olderog's 60th birthday, with an associated Festschrift. (en)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is foaf:primaryTopic
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)