Industry-Academia Collaboration

I am always glad to start new collaborations with industry. If your software has to be reliable, safe, or privacy-respecting, and you would rather understand and prevent its weaknesses than keep firefighting them, get in touch by email. Let’s talk and see whether there is a shared interest.

In practice, we help partners find and prevent whole classes of bugs, build analysis, verification, and modeling tools (and languages) tailored to your systems, assess safety and privacy risks, and evaluate or document your architectures and development processes. We have done this for software in underwater and industrial robotics, data analytics, computer vision, operating systems, and embedded systems, including the ROS-Industrial effort on robot software quality and an ongoing collaborations with EIVA, Danfoss, and Universal Robots. Some of our tooling is open source (for example, bug finders for the Linux kernel and for ROS, and a privacy analyzer), while your application, data, and results stay confidential; we are happy to work under an NDA.

There are several modes of collaboration, ranging from a short consulting engagement or a scoped Master’s thesis project, through industrial PhD and post-doc programs, to larger collaborative projects funded within Denmark or the EU. A small first project is often the best way to find out whether a deeper collaboration is worthwhile.