20 July 2013
Monoidics, the software analysis company based in London’s Silicon Roundabout, has announced that certain assets of the company are being acquired by Facebook.
Monoidics develops automatic formal verification software based on mathematical analysis and academic research. The technology will be used to improve the code quality of Facebook’s mobile apps, which are infamous for their high rate of crashes.
The exact terms of the acquisition were not disclosed. After closing the deal, Monoidics technical team will be moving to Facebook’s offices in London.
Founded in 2009 by Italian scientist Dr Dino Di Stefano, Monoidics aims to improve software quality by focusing on serious computer science to analyse complex applications.
Monoidics products are used by customers in the automotive, telecommunications, aerospace, medical, and defence industries. In just four years, Monoidics has expanded internationally, with additional offices in Seattle and Tokyo.
Check out Borer's Facebook Page