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.

Open Positions

BS/MS Theses



Locations & Directions

click here

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