WikiDer > Bernxard Sffen (kompyuter olimi)

Bernhard Steffen (computer scientist)

Bernxard Steffen (1958 yil 31-mayda tug'ilgan) Kiel, G'arbiy Germaniya) nemis kompyutershunos va professor TU Dortmund universiteti, Germaniya. Uning tadqiqotlari turli qirralarga qaratilgan rasmiy usullar dasturni tahlil qilish va tekshirishdan tortib, ish oqimini sintez qilish va test asosida modellashtirishgacha.[1]

Undan keyin PhD da Kiel universiteti u ikki yil davomida ilmiy xodim sifatida ishladi LFCS (Edinburg, Shotlandiya) u erda Edinburg Concurrency Workbench-ni birgalikda ishlab chiqdi[2] va ehtimollik jarayonlarini etarlicha modellashtirish bo'yicha dastlabki hujjatlardan biriga mualliflik qilgan;[3] ga qo'shilishdan oldin Orxus universiteti 1989 yilda postdoc. 1990 yildan 1992 yilgacha dotsent Axen, u to'liq professor bo'lishidan oldin Passau universiteti. 1997 yildan beri u dasturlash tizimlari kafedrasini egallaydi TU Dortmund universiteti u qaerda edi Dekan 2002 yildan 2006 yilgacha kompyuter fanlari, shuningdek 2006 va 2007 yillarda Senat a'zosi.[1]

Bundan tashqari, Steffen tahririyat kengashi ning LNCS.[4]

Jurnal va konferentsiya fondlari

Bernxard Steffen quyidagi jurnallar va konferentsiyalarga asos solgan

Adabiyotlar

  1. ^ a b Steffen, Bernxard. "REZYUME" (PDF). Olingan 19 dekabr 2013.
  2. ^ Klivlend, Rans; Parrou, Yoaxim; Steffen, Bernhard (1993). "Birgalikda ishlaydigan dastgoh: bir vaqtda tizimlarni tekshirishning semantik asosli vositasi". Dasturlash tillari va tizimlari bo'yicha ACM operatsiyalari. 15: 36–72. CiteSeerX 10.1.1.35.8585. doi:10.1145/151646.151648. S2CID 14200624.
  3. ^ van Glabbek, Rob J.; Smolka, Skott A.; Steffen, Bernhard (1995). "Ehtimoliy jarayonlarning reaktiv, generativ va tabaqalashtirilgan modellari". Axborot va hisoblash. 121: 59–80. doi:10.1006 / inco.1995.1123.
  4. ^ SpringerLink. "Kompyuter fanidan ma'ruza matnlari".
  5. ^ "ISoLA konferentsiyasining veb-sayti".
  6. ^ Springer. "STTT jurnal sahifasi".

Tashqi havolalar