About

Welcome to HASLab's Interactive Systems page!

Work on interactive systems at HASLab focusses on applying formal verification tools to the analysis of the safety and usability of interactive computing systems. We have a particular focus on medical devices.