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
FANZA、成人向けAI創作・公開サービス「FANZAスタジオ」発表 先行体験は8月24日から
-
2
「comico」サ終にマンガ家が思う“縦読みマンガ”の弱点と戦略ミス
-
3
目指すは、日本発IPで海外売上20兆円 経産省が新戦略を発表 「ものがたり大国5カ年計画」
-
4
Tesla歴5年の筆者がみなさんの疑問に答えます
-
5
LINE、着せかえ表示問題を謝罪 希望者に返金へ
-
6
SNSのウソ画像、どう見破る？ 熊本県庁やテレビ局も頼る“すごい企業”の正体
-
7
スマート給餌器で38時間の障害、ペットがご飯食べられず 飼い主の苦情殺到 「旅行中なのに」「猫が死んじゃう」
-
8
法務省、「ラヴ上等」とのタイアップ中止 「当初の意図を全うすることが難しい」
-
9
“メタボ”が脳にゴミを詰まらせる？ 「においが分かりにくい」経て認知症へ 米大学が新説
-
10
TikTok、児童プライバシー訴訟で4億ドル支払いへ 米司法省と和解
ITmedia NEWS SNS
@itmedia_newsをフォロー
インフォメーション
注目情報をチェック
ITmediaNEWSをフォロー
あなたにおすすめの記事PR