Best Paper Award for Railway Verification
June 9, 2016 10:56 AM
The work of Bjørnar Luteberget, Christian Johansen, and Martin Steffen (from PMA and ConSeRNS groups at IFI) won the Best Paper Award at the 12th International Conference on Integrated Formal Methods, which was held in Iceland in June.
Gesture to your PC and it will obey
Aug. 8, 2013 01:50 PM
Soon, all you will need to do is to wave your hand in the air to operate your computer gadget. Surfing the wave of this new technology is Elliptic Labs, which has deep roots in the research community at UiO.
New cancer detection method right around the corner
Feb. 4, 2013 12:30 PM
(Apollon) It will now be possible to detect cancer by measuring the elasticity of tumours. The method is cheap, safe and radiation-free.