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

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

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

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

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 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

David Binkley, Ph.D., professor of computer science at Loyola University Maryland, has received awards from the Core Fulbright U.S. Scholar Program and National Science Foundation to support an international, collaborative research project on the evolutionContinue reading

Registration is now open for the one day High Integrity Systems Symposium. Go to the event’s website to read more.