Bernhard Steffen (computer scientist)
id:
bernhard-steffen-computer-scientist-305-13563299
title:
Bernhard Steffen (computer scientist)
text:
Bernhard Steffen 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 where he co-developed the Edinburgh Concurrency Workbench and authored one of the earliest papers on how to adequately model probabi
brand slug:
wiki
category slug:
encyclopedia
description:
German computer scientist
original url:
https://en.wikipedia.org/wiki/Bernhard_Steffen_(computer_scientist)
date created:
date modified:
2023-01-29T01:00:42Z
main entity:
{"identifier":"Q15699902","url":"https://www.wikidata.org/entity/Q15699902"}
image:
fields total:
13
integrity:
14