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
Tesla、新型「Roadster」発表 SpaceX技術で“飛べる”モデルも 日本でも予約受付中
-
2
「『楽天カード公式』から詐欺メール」報告相次ぐ ドコモメールに公式マーク付きフィッシング、一部企業の認証設定に脆弱性
-
3
コミックシーモア、不正アクセスの可能性でサービス停止 メンテ終了時期は未定
-
4
研究者グループ、中国Tencentのクラウド上の“逸脱”AIエージェント群と交信 報告書の隠しテキストで呼び込む
-
5
「セキュリティソフトも売ってるのに」ソースネクスト会員情報漏えい、パスワード含む最大2252万件 API不正利用される
-
6
Microsoft、3つの国際的な犯罪ネットサービスを解体へ 日本狙った詐欺がきっかけ
-
7
Microsoft、社内エンジニア数万人を対象に「Claude Code」「Copilot CLI」導入の影響を分析 生産性どう変わる
-
8
バーガーキング、約1118万件漏えい 公式アプリ会員システムに不正アクセス
-
9
緊急地震速報「震度7」は誤報、東伊豆町が謝罪 研修中の人為的ミス
-
10
デジハリ大、「Claude」を全学導入へ──国内初、“回数気にせず”使い放題に
ITmedia NEWS SNS
@itmedia_newsをフォロー
インフォメーション
注目情報をチェック
ITmediaNEWSをフォロー
あなたにおすすめの記事PR