PhD student Adam Walker recieved 1st place with his game solver in a sequential realizability track of the SyntComp competition. The competition's goal is to collect benchmarks and foster research in new tools for automatic synthesis of systems. more...


Visiting Researcher Nina Narodytska (University of Toronto) has won 3 awards with her solver Eva500a at the 9th Evaluation of Max-SAT Solvers. 1st Place in the weighted partial MaxSat category and 3rd place in both the partial MaxSat and the MaxSat (Industrial) category. more...

The Software Systems Research Group

We will change how software systems are designed, implemented and verified.
  • Why? To address the need for developing and deploying trustworthy software quickly and effectively.
  • Where? From the embedded space to large cloud and enterprise systems.
  • How? By applying rigorous techniques to achieve solid and practically meaningful guarantees, ranging from provable security, safety, and reliability properties of critical systems, to integrated and adaptive architectures that predictably meet performance and business objectives in real-word enterprise environments.
  • Who? We are a group of experts spanning four major research disciplines, with a track record in formally verified microkernel-based systems (seL4 and L4.verified) and successful enterprise architecture services engagements.
  • Read more about our vision, our past achievements, and our publications.
Seminar soon:  Andrei Sabelfeld (Chalmers University of Technology) on Tracking Information Flow in Web Applications   More...

Served by Apache on Linux on seL4