Bernhard Steffen (born 31 May 1958 in Kiel, West Germany) is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, to test-based modeling, and machine learning. Furthermore, Steffen is founding Editor in Chief of STTT, Co-Founder of TACAS, ETAPS, ISoLA, RERS and member of the editorial board of LNCS.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - بيرنهارد شتيفن (ar)
- Bernhard Steffen (Informatiker) (de)
- Bernhard Steffen (computer scientist) (en)
|
| rdfs:comment
| - Bernhard Steffen (* 31. Mai 1958 in Kiel) ist ein deutscher Informatiker und Professor. (de)
- بيرنهارد شتيفن (بالإنجليزية: Bernhard Steffen) (من مواليد 31 مايو 1958 في كيل، ألمانيا الغربية) وهو عالم حاسوب ألماني وأستاذ في جامعة دورتموند للتكنولوجيا، ألمانيا. ركز في بحثه على جوانب مختلفة من الأساليب الرسمية التي تتراوح بين تحليل البرامج والتحقق، إلى تركيب سير العمل، وإلى النمذجة القائمة على الاختبار. (ar)
- Bernhard Steffen (born 31 May 1958 in Kiel, West Germany) is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, to test-based modeling, and machine learning. Furthermore, Steffen is founding Editor in Chief of STTT, Co-Founder of TACAS, ETAPS, ISoLA, RERS and member of the editorial board of LNCS. (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
| - بيرنهارد شتيفن (بالإنجليزية: Bernhard Steffen) (من مواليد 31 مايو 1958 في كيل، ألمانيا الغربية) وهو عالم حاسوب ألماني وأستاذ في جامعة دورتموند للتكنولوجيا، ألمانيا. ركز في بحثه على جوانب مختلفة من الأساليب الرسمية التي تتراوح بين تحليل البرامج والتحقق، إلى تركيب سير العمل، وإلى النمذجة القائمة على الاختبار. بعد حصوله على درجة الدكتوراه في جامعة كيل، أمضى عامين كزميل باحث في LFCS (ادنبره، اسكتلندا) حيث شارك في تطوير منبر التزامن في ادنبره وقام بتأليف واحدة من أقدم الأبحاث حول كيفية إجراء عمليات الاحتمالية بشكل مناسب. قبل انضمامه إلى جامعة آرهوس في عام 1989 كان أستاذاً مشاركاً في الجامعة التقنية الراينية الفستفالية، قبل أن يصبح أستاذاً في جامعة باساو. شغل منذ عام 1997 منصب رئيس أنظمة البرمجة في جامعة دورتموند للتكنولوجيا حيث كان عميدا لعلوم الكمبيوتر بين عامي 2002 و 2006 وكذلك كان عضواً في مجلس الشيوخ في عامي 2006 و 2007. بالإضافة أنه كان عضواً في مجلس التحرير LNCS. (ar)
- Bernhard Steffen (* 31. Mai 1958 in Kiel) ist ein deutscher Informatiker und Professor. (de)
- Bernhard Steffen (born 31 May 1958 in Kiel, West Germany) is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, to test-based modeling, and machine learning. After his PhD at the University of Kiel he spent two years as a research fellow at the LFCS (Edinburgh, Scotland) where he co-developed the Edinburgh Concurrency Workbench and authored one of the earliest papers on how to adequately model probabilistic processes, before joining the University of Aarhus in 1989 as a postdoc. From 1990 to 1992 he was associate professor at the RWTH Aachen, before he became full professor at the University of Passau. Since 1997 he holds the chair of programming systems at TU Dortmund University where he was Dean of Computer Science between 2002 and 2006 as well as a member of the Senate in 2006 and 2007. In Dortmund he developed the concept of active automata learning to towards a practical means for model-based testing that does not require any a priori models. Recently his interest shifted towards the application of formal methods for explaining machine learning. His conceptual background comprises abstract interpretation, computer-aided verification and explanation, automata learning, and the development of domain-specific languages that guarantee properties by design. This is witnessed by receiving the Most Influential PLDI Paper Award for Lazy Code Motion, which is given 10 years in retrospective, and the CAV Artifact Award for the Open-Source LearnLib. Finally, in 2019 he was awarded the title of Honorary Professor of the AMITY School of Engineering and Technology. Furthermore, Steffen is founding Editor in Chief of STTT, Co-Founder of TACAS, ETAPS, ISoLA, RERS and member of the editorial board of LNCS. (en)
|
| gold:hypernym
| |
| schema:sameAs
| |
| 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)