Automatically Finding and Explaning Bugs (with Axis Communications)
We have built a prototype bug checker to help Axis find program bugs. Help us improve the checker to better explain bug reports and to filter out false positives.
Precise Bug Detection with Points-To Analysis (with Axis Communications)
We have developed a prototype bug checker for Axis Communications. Help us improve this bug checker by improving the precision of how it models the C heap.
Using deep learning to segment cardiovascular four-dimensional MRI
This project aims to develop and evaluate a deep-learning technique to segment MR images that include the four cardiac chambers and great vessels in 4D image data.
MSc Thesis: On-the-fly upgrade of network stacks in resource constrained devices
Deployed IoT devices need to be updated. We are investigating how to efficiently upgrade networking stacks on the fly using over-the-air updates.
MSc Thesis: Secure Battery-less IoT
The resource-constrained devices of the battery-less IoT are powered off energy harvesting and compute intermittently, as energy is available. We want to secure them.