DEEDS

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

Internal

 
 

Locations & Directions

click here

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

 

Partner