词条 | Bernhard Steffen (computer scientist) |
释义 |
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[2] and authored one of the earliest papers on how to adequately model probabilistic processes,[3] 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.[1] Furthermore, Steffen is member of the editorial board of LNCS.[4] Journal and conference foundationsBernhard Steffen co-founded the following journals and conferences
References1. ^1 {{cite web| last=Steffen| first=Bernhard| title=CV| url=http://ls5-www.cs.tu-dortmund.de/cms/Medienpool/CVs/BernhardSteffen-CV062013-1.pdf| accessdate=19 December 2013}} 2. ^{{cite journal| last1=Cleaveland| first1=Rance| last2=Parrow| first2=Joachim| last3=Steffen| first3=Bernhard| title=The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems| journal=ACM Transactions on Programming Languages and Systems| volume=15| pages=36–72| year=1993| doi=10.1145/151646.151648| citeseerx=10.1.1.35.8585}} 3. ^{{cite journal| last1=van Glabbeek| first1=Rob J.| last2=Smolka| first2=Scott A.| last3=Steffen| first3=Bernhard| title=Reactive, generative, and stratified models of probabilistic processes| journal=Information and Computation| volume=121| pages=59–80| year=1995| doi=10.1006/inco.1995.1123}} 4. ^{{cite web| author=SpringerLink| title=Lecture Notes in Computer Science| url=https://link.springer.com/bookseries/558}} 5. ^{{cite web| title=ISoLA Conference Website| url=http://isola-conference.org/}} 6. ^{{cite web| author=Springer| title=STTT Journal Page| url=https://www.springer.com/computer/swe/journal/10009}} External links
7 : 1958 births|Living people|German computer scientists|Formal methods people|University of Kiel alumni|Technical University of Dortmund faculty|University of Passau faculty |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。