UPB Bildmarke
Spezifikation und Modellierung von Softwaresystemen
Kontakt
  • English
  • Deutsch
    • Seite "Teaching" öffnen
      • Seite "Courses" öffnen
      • Group Seminar
      • WS 2020/21
      • SS 2020
      • WS 2019/20
      • SS 2019
      • WS 2018/19
      • SS 2018
      • WS 2017/18
      • Seite "Student Projects" öffnen
      • Bachelor/Master Thesis
    • Seite "Research" öffnen
      • Seite "Research projects" öffnen
      • Validation of Software Transactional Memory
      • Verification of service compositions (CRC 901, Subproject B3)
      • Proof-Carrying Services (CRC 901, Subproject B4)
      • Cooperative Software Verification
    • Seite "Team" öffnen
      • Seite "Group" öffnen
      • People
      • Open Jobs
      • Where to find us
      • Seite "Additional" öffnen
      • Photos
    • Seite "Faculty" öffnen
      • Seite "Faculty" öffnen
      • Faculty for Electrical Engineering, Computer Science, and Mathematics
      • Department of Electrical Engineering
      • Department of Computer Science
      • Department of Mathematics
  1. Informatik
  2. Specification and Modelling of Software Systems
  3. Team
  4. Photos

Pho­tos of Ph.D. de­fen­ses

  • Ingo Brückner
  • Björn Metzler
  • Thomas Ruhroth
  • Nils Timm
  • Dominik Steenken
  • Galina Besova
  • Steffen Ziegert
  • Tobias Isenberg
  • Marie-Christine Jakobs
  • Sven Walther
  • Oleg Travkin

Pho­tos

  • Roboter Workshop 2010
  • Kanutour 2010
  • Hochseilgarten 2011
  • Bogenschießen 2014
  • Externsteine 2015
  • GPS-Tour auf dem SFB-Workshop Oberorke/Edersee, September 2015
  • Haxtergrund 2016
  • Escape Room 2019

Spezifikation und Modellierung von Softwaresystemen

Warburger Str. 100
33098 Paderborn
Deutschland

Universität Paderborn

Warburger Str. 100
33098 Paderborn
Deutschland

Telefon Universität

+49 5251 60-0
Rechtliches
  • Impressum
  • Datenschutz
  • Hinweisgebersystem
Soziale Netzwerke