Facebook Acquires Code-Verification-Software Developer Monoidics

By David Cohen 

Facebook continued its efforts to bolster the quality of its mobile application with its latest acquisition, U.K.-based code-verification-software developer Monoidics, which was announced on the Monoidics blog and via a Facebook post by Software Engineer Philip Su.

The Monoidics engineering team will join Facebook’s London office once the transaction has been completed.

TechCrunch pointed out that with Facebook’s recent move to release regularly scheduled updates to its iOS and Android applications, automatic formal verification and analysis software from Monoidics will help it identify and deal with bugs.

Su is the leader of the social network’s first engineering center outside of the U.S., in London, and the facility focuses on mobile products for Facebook. He wrote in his post announcing the transaction:

I’m excited to announce that we’ve agreed to acquire certain assets of Monoidics, a leading pioneer in code-verification software!

This asset acquisition represents our investment in the quality of our mobile applications platform and also our people, as members of their talented engineering team will join us to work at Facebook’s London office once the deal closes (pending certain closing conditions).

We have always focused on hiring smart, talented engineers, and in this acquisition, we found many. Their entrepreneurial spirit and desire to make an impact make them great additions to Facebook. We can’t wait to have them here!

And the blog post from Monoidics read:

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

Readers: Do you think Monoidics is a good acquisition for Facebook?