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

Pho­tos of Ph.D. de­fenses

  • 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

Specification and Modelling of Software Systems

Warburger Str. 100
33098 Paderborn
Germany

Universität Paderborn

Warburger Str. 100
33098 Paderborn
Germany

Phone University

+49 5251 60-0
Legal notice
  • Imprint
  • Data privacy
  • Whistleblower system
Social networks