Skip to content
The Certus Centre for Software Validation and Verification

The Certus Centre for Software Validation and Verification

  • Home
  • About
  • Annual Reports
  • Partner Overview
  • Projects
  • Publications
  • Contact Us

Morten Mossige’s PHD will improve testing systems for robots

20/08/201505/09/2017 admin

In collaboration with ABB Robotics, a Certus partner, Mossige’s dissertation demonstrates that development costs can be reduced, and the quality of the software increases uptime for the robots.

Please read more at NTB (in Norwegian).

Posted in News

Post navigation

Certus at Formal Methods 2015
Morten Mossige successfully defended his PhD

Certus news

  • Netflix created and deployed a tool inspired by Certus research 15/11/2019
  • Talk on Applied Machine Learning, by Yongqi Dong 20/06/2019
  • Dusica Marijan organizes the 6th International Workshop on Software Engineering Research and Industrial Practice at ICSE 2019 20/06/2019
  • Certus researcher participated in ICSE in Montreal 14/06/2019
  • Certus hosts NordConsNet Workshop 2019 27/05/2019
  • Certus researchers participate at the 2nd AI Night in Paris 29/04/2019
  • Successful kickoff of recently launched RCN IKTPLUSS project T-SAR 29/04/2019
  • Certus researcher Dusica Marijan was awarded a Young Talent FRINATEK Grant for the T3AS project 12/03/2019
  • Certus participates in the AI4EU project 10/01/2019
  • Certus researchers involved in arranging the first IEEE AI Testing Conference 19/11/2018
Proudly powered by WordPress | Theme: Oria by JustFreeThemes.