Facebook Acquiring Assets And Employees From Monoidics


Facebok buys Monoidic

Facebook on Thursday announced that it is acquiring certain assets and employees from UK software verification develop Monoidics.

After the acquisition is finalized some employees from the company will begin work at Facebook’s London office.

Facebook will apply the Monoidics automatic formal verification and analysis software to its mobile environment.

In a blog post the team at Monoidics writes:

“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.”

In a Facebook blog post Phillip Su adds:

“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’ Infer Static Analyzer searches through vast amounts of code to help create memory safety and security.

By using a specialized algorithm the company ensures that no memory leaks or illegal pointer references are found inside a company’s code structure.

Among its clients are ARM semiconductor, Airbus and Mitsubishi Electric.

The acquisition couldn’t come at a better time, Facebook recently started pushing out app updates for iOS and Android on a monthly basis, thus ensuring less time to fully vet each update in the real world.


Kokou Adzo

Kokou Adzo is a seasoned professional with a strong background in growth strategies and editorial responsibilities. Kokou has been instrumental in driving companies' expansion and fortifying their market presence. His academic credentials underscore his expertise; having studied Communication at the Università degli Studi di Siena (Italy), he later honed his skills in growth hacking at the Growth Tribe Academy (Amsterdam).

0 Comments

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.