Today in London, Facebook announced it’s latest acquisition.
Joining the world’s largest social network is 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),” says Philip Su, director of Facebook’s London engineering office.
“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,” Su added. “We can’t wait to have them here!”
Launched in 2009, Monoidics hit the ground running with a small company focused on making the best automatic formal verification and analysis software in the industry.
In the last four years, the young company boasts, Monoidics has “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.”
“Once the deal closes,” a blog entry on the Monoidics page today reads, “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.”