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
[We are located in the E wing, 2nd floor of the Piloty Building S2|02]