We present our congratulations to Arnaud Gotlieb, Dusica Marijan and Alexandre Pétillon from the Certus Centre and Simula, and Mats Carlsson from SICS in Sweden. This team of researchers has received the prestigious Best Paper Award atContinue reading
Author: admin
Newsletter: Certus summarises the first half of 2016
2016 has been eventful for Certus so far. Jan-Christian Kerlefsen has become the new leader of the board, the Cancer Registry of Norway has joined the ranks as a new User Partner, and the centre’sContinue reading
A User Partner Workshop with creative energy
April 28-29, 35 representatives from the partners and Certus joined forces at the offices of the Cancer Registry of Norway. The traditional seminar format was set aside for a proper workshop, with a number ofContinue reading
Certus Annual Report for 2015 is available
It’s been another eventful year for Certus. The Centre has been evaluated in the midway evaluation that all Centres for Research-based Innovation are subjected to, and Certus received a green light from the Research Council of Norway toContinue reading
Jan-Christian Kerlefsen new Board Leader for the Certus Centre
Jan Christian Kerlefsen is Certus’ new board leader as of 01.01.2016. He takes over the postion from Professor Are Magnus Bruaset. (Photo: Certus/Bård Gudim. From left: Katrine Langset (Norwegian Customs), Bjørn Ove Olafsen (KM), Are MagnusContinue reading
Certus’ 8th Annual User Partner Workshop a success
On Friday, October 30th, 2015, Certus held its 8th annual user partner workshop in the company of its industry collaborators. The workshop was held at the offices of Cisco at Lysaker this year, with a varied programme.Continue reading
Mathieu demonstrates an ABB robot
Mathieu Collet did his Master’s degree in collaboration with the Certus centre, and he wrote a script for an industrial ABB robot. He is using constraint programming to create the movements of the robot, where the robotContinue reading
Morten Mossige successfully defended his PhD
On Wednesday August 26th 2015, Morten Mossige successfully defend his PhD thesis “Testing Robotics Software using Constraint Programming in a Continuous Integration Process”. The defense took place at the University of Stavanger at 12:15. MossigeContinue reading
Morten Mossige’s PHD will improve testing systems for robots
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).
Certus at Formal Methods 2015
Certus will have a booth at Formal Methods 2015, the most important venue in the area of formal methods. The conference is organised from June 22th to June 26th at UiO and features an excellentContinue reading