Facebook has acquired UK-based automatic formal verification and analysis software startup Monoidics. The acquisition brings in the assets of and team behind Monoidics which was founded back in 2009. The company confirmed the merger news in a statement which it has given via its website on Thursday. The terms of acquisition has not been disclosed yet. Once the deal is complete, the Monoidics team will be moving into Facebook’s London offices to join the social giant’s engineering team there.
Here is Monoidics statement over the acquisition:
We are excited to announce that Facebook has agreed to acquire Monoidics assets and that our technical team will be joining their growing office in London once the deal has fully closed.
In 2009 we started this company with the goal of making the best automatic formal verification and analysis software in the industry. We’ve gone from theoretical ideas in logics of programs all the way to a company with a world-class engineering team, real customers and an office right in the midst of London’s Silicon Roundabout. It’s been incredible journey. . . we’ve loved every minute of it!
However, we have always looked for ways we could do even more, and when we met members of Facebook’s engineering team, we realized how much we have in common: a relentless focus on quality, a desire to move fast and try new things, and a passion for making an impact. Right away we knew this was our chance to take what we’ve built to the next level. Joining the Facebook team opens up a world of new opportunity for our technology and for our individual and collective scientific expertise.
Once the deal closes, pending certain closing conditions, the technical team will be moving over to join Facebook’s growing engineering team in London. We’d like to thank everyone who has joined and supported us on this journey: our team, our customers, our advisers, the team at QuantumWave Capital, our fellow developers and researchers, and particularly our friends and families.
We’re excited to see what’s next!
Photo Credit: Monoidics