Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=1054357390






Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1054357390
Person Steffen, Bernhard
Akademischer Grad Prof. Dr.
Geschlecht männlich
Andere Namen Steffen, B.
Quelle LCAuth
Homepage (13.11.2017): http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.html
Wikipedia (13.11.2017): https://de.wikipedia.org/wiki/Bernhard_Steffen_(Informatiker)
Zeit Lebensdaten: 1958-
Land Deutschland (XA-DE)
Geografischer Bezug Geburtsort: Kiel
Beruf(e) Informatiker
Hochschullehrer
Weitere Angaben Studium der Mathematik, Promotion 1987 im Fach Informatik an der Universität zu Kiel. Anschließend Postdoktorand in Edinburgh, Aarhus, Aachen; Tätig am Dekanat Informatik, Univ. Dortmund; Tätig am Jülich Supercomputing Centre, Jülich
Beziehungen zu Organisationen Rheinisch-Westfälische Technische Hochschule Aachen
Technische Universität Dortmund. Lehrstuhl 5 für Programmiersysteme (Professor und Inhaber des Lehrstuhls) (1997-)
Universität Passau (Professor für Programmiersysteme) (1993-1997)
Systematik 30p Personen zu Informatik, Datenverarbeitung
Typ Person (piz)
Autor von 67 Publikationen
  1. The RERS challenge: towards controllable and scalable benchmark synthesis
    Enthalten in International journal on software tools for technology transfer 24.6.2021: 1-14
  2. TOOLympics II: competitions on formal methods
    Enthalten in International journal on software tools for technology transfer 18.6.2021: 1-3
  3. ...
Beteiligt an 56 Publikationen
  1. Interactive Model-Based Compilation
    Smyth, Steven Patrick. - Kiel : Universitätsbibliothek Kiel, 2021
  2. Synthesizing realistic verification tasks
    Jasper, Marc. - Dortmund : Universitätsbibliothek Dortmund, 2021
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration