Facebook acquires code verification firm Monoidics
Facebook is making serious strides in enhancing its mobile product. Earlier this year, it purchased Parse, and now the company has acquired Monoidics, a U.K.-based code verification software developer. The firm will join Facebook’s office in London.
Facebook software engineer Phillip Su announced the news in a Facebook post:
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!
Monoidics also celebrated on the website’s blog:
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.
Image courtesy of Monoidics.