Facebook、モバイルアプリプラットフォーム強化目的でコード検証ツール「INFER」の英Monoidicsを買収
米Facebookは7月18日（現地時間）、アプリ開発者向けのコード検証ツールを手掛ける英Monoidicsを買収することで合意に達したと発表した。買収総額などの詳細は公表されていない。
モバイルアプリプラットフォームの強化と優秀な人材の獲得、いわゆる“Acqui-hiring”が目的という。Monoidicsのエンジニアリングチームは買収完了後、Facebookのロンドンのエンジニアリングオフィスに参加する。
Monoidicsは2009年創業の英ロンドンに拠点を置く非公開企業。プログラムのメモリリークなどの問題を検出するツール「INFER」を提供しており、三菱電機や米ARM、米Airbusなどが採用している。INFERは、同社アドバイザーを務めるピーター・オハーン博士が発明した「Separation Logic」に基づくツールで、同社のCTO（最高技術責任者）のクリスティアーノ・カルカグノ博士はSeparation Logicの分析アルゴリズムの功績で知られる。CSO（最高科学責任者）のディノ・ディステファーノ博士もまた、Separation Logicに基づく自動ソースコード検証技術の開発で知られている。
Monoidicsのメンバー。左から、クリスティアーノ・カルカグノCTO、ディノ・ディステファーノCSO、アドバイザーのピーター・オハーン博士、ビー・ラベンダーCEO
Copyright © ITmedia, Inc. All Rights Reserved.
この記事の著者
関連記事
こんなメディアも見られています
ITmedia NEWSに関連する情報をお探しであれば、こちらのメディアもお役に立てるかもしれません。
SpecialPR
本日の新着記事
アクセスランキング
-
1
なぜ酒蔵の許諾なしに？ 「VTuberコラボ日本酒」騒動、主催者が経緯説明 仲介者による調整で「準備進んでいると認識」
-
2
かっぱ寿司「配布前のコラボグッズ、フリマで買わないで」 プリキュアコラボ発表日に注意喚起
-
3
「食事量は1日1200kcal以下、でも肥満」な人を14日間追跡調査 痩せない理由は……米コロンビア大などの研究
-
4
本物そっくり“AI生成レシート“が経費精算の脅威に マネフォ「自力で見破るのは難しい」 企業はどう備える？
-
5
「菜の花がおかしい」――イラストレーター制作うたうマラソン大会ポスターに指摘相次ぐ 事務局がAI使用明かす【訂正あり】
-
6
「ペンギンを返して」→「3匹全部採用して」 批判殺到のSuica新キャラ、ファンアートが空気を変えた？ SNSの声
-
7
幻の「ちいかわ」コラボ第3弾皿、捨てちゃうの？ くら寿司に聞いてみた
-
8
「iPhone Duo」純正ケース話題、「面白いけど高い」……1万4800円と2万4800円
-
9
藤井風のリサイタル、公式サイトがインターネット老人会すぎると話題 公民館のチラシみたいだけど東京ドーム開催
-
10
農水省の“クソダサ”ポスター話題 「AIよりよっぽど良い」の声も 担当者に狙いを聞いた
ITmedia NEWS SNS
@itmedia_newsをフォロー
インフォメーション
注目情報をチェック
ITmediaNEWSをフォロー
あなたにおすすめの記事PR