Founded in 2009, Monoidics designs automatic verification tech for analysis of industrial software.
Phillip Su announced,”I’m excited to announce that we’ve agreed to acquire certain assets of Monoidics, a leading pioneer in code verification software!”
To Su, the asset acquisition represents Facebook’s investment in the quality of its mobile applications platform and people.
The Monodocis team seemed excited with the deal.
They said, “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!”
With the Facebook acquisition, the crew expects to do even more as they both have a relentless focus on quality, a desire to move fast and try new things, and a passion for making an impact.
“Joining the Facebook team opens up a world of new opportunity for our technology and for our individual and collective scientific expertise,” they said on their blog.