Bernhard Steffen (datavetare)

Bernhard Steffen (född 31 maj 1958 i Kiel , Västtyskland ) är en tysk datavetare och professor vid TU Dortmund University, Tyskland. Hans forskning fokuserar på olika aspekter av formella metoder, allt från programanalys och verifiering, till arbetsflödessyntes, till testbaserad modellering och maskininlärning.

Efter sin doktorsexamen vid University of Kiel tillbringade han två år som forskarassistent vid LFCS (Edinburgh, Skottland) där han var med och utvecklade Edinburgh Concurrency Workbench och skrev en av de tidigaste artiklarna om hur man på ett adekvat sätt modellerar probabilistiska processer, innan han började universitetet i Aarhus 1989 som postdoc. Från 1990 till 1992 var han docent vid RWTH Aachen innan han blev professor vid universitetet i Passau . Sedan 1997 innehar han ordförandeskapet i programmeringssystem vid TU Dortmund University där han var dekanus för datavetenskap mellan 2002 och 2006 samt ledamot av senaten 2006 och 2007. I Dortmund utvecklade han konceptet med aktiv automatinlärning för att mot en praktiska medel för modellbaserad testning som inte kräver några a priori-modeller. Nyligen skiftade hans intresse mot tillämpningen av formella metoder för att förklara maskininlärning.

Hans konceptuella bakgrund omfattar abstrakt tolkning, datorstödd verifiering och förklaring, automatinlärning och utveckling av domänspecifika språk som garanterar egenskaper genom design. Detta bevittnas genom att ta emot det mest inflytelserika PLDI Paper Award för Lazy Code Motion, som ges 10 år i efterhand, och CAV Artifact Award för Open-Source LearnLib. Slutligen, 2019 tilldelades han titeln hedersprofessor vid AMITY School of Engineering and Technology.

Dessutom är Steffen grundande chefredaktör för STTT, medgrundare av TACAS, ETAPS, ISOLA, RERS och medlem av redaktionen för LNCS .

Tidskrifts- och konferensstiftelser

Bernhard Steffen var med och grundade följande tidskrifter och konferenser

• Verktyg och algoritmer för konstruktion och analys av system ( TACAS)
• Europeiska gemensamma konferenser om teori och praktik av programvara ( ETAPS)
• Internationellt symposium om utnyttjande av tillämpningar av formella metoder, verifiering och validering (ISoLA)
• International Journal on Software Tools for Technology Transfer (STTT)

externa länkar

• Bernhard Steffen på DBLP Bibliography Server
• Bernhard Steffens publikationer indexerade av Google Scholar
• personalsida vid TU Dortmund University
• Personlig hemsida