DEEDS Group – Dependable Systems and Software


We research “trustworthy systems” targeting both dependability and security. Our emphasis is on:

  • Design & Analysis of trustworthy software, OS and middleware/Cloud.
  • Assessment of Trust encompassing software testing, verification & validation spanning experimental FI and formal model checking and trust/security metrics.


Locations & Directions [click here for Map]

We are located in the E wing, 2nd floor of the Piloty Building S2|02.