Medical devices can cause as much harm as they can prevent. So while the devices monitor the patient, it is up to us to monitor the devices. Unwarranted cardiac shocks and accidental high-dose radiation shall be no more.
Autonomous delivery, reconnaissance, heck, even aerial photography. Drones are amazing, granted they don't crash on our heads. So let's strive to prevent that.
Assistance systems boost traffic safety. Yet, public acceptance of autonomous cars requires more than outperforming human drivers. Cue: comprehensible dynamic verification.
Theoretical CS research meets practicality.
Check out our joint research project funded by the German Ministry for Economic Affairs and Energy with approximately €2m.
Where research and application co-exist.
Check out my invited presentation at the TRI Cambridge office here.