Alexandre Rebert，F(xiàn)orAllSecure聯(lián)合創(chuàng)始人。

他發(fā)明了讓計(jì)算機(jī)能自我修復(fù)的方法。

當(dāng)一臺(tái)計(jì)算機(jī)系統(tǒng)被黑客入侵了，我們往往只能在入侵結(jié)束之后才可以進(jìn)行修復(fù)工作。但 Alexandre Rebert 開(kāi)發(fā)了一種軟件系統(tǒng)，它能使計(jì)算機(jī)在被攻擊伊始就進(jìn)行修復(fù)。

這種別出心裁的點(diǎn)子來(lái)源于 Rebert 對(duì)于計(jì)算機(jī)的認(rèn)識(shí)，他覺(jué)得�，F(xiàn)在的計(jì)算機(jī)雖然缺乏創(chuàng)造性，但是它們對(duì)于快速處理大規(guī)模的工作十分在行。于是，他就開(kāi)發(fā)了一款名為“?Mayhem?”的系統(tǒng)，其能同時(shí)處理上千種程序，僅幾小時(shí)就能處理完成我們數(shù)年才能完成的工作。

Mayhem 之所以如此高效，是因?yàn)樗�結(jié)合了兩種關(guān)鍵技術(shù)。一種是名為 Coverage-based Fuzzing 的自動(dòng)化安全測(cè)試標(biāo)準(zhǔn)。簡(jiǎn)單而言，該技術(shù)就是將數(shù)據(jù)輸入到一個(gè)程序中，并測(cè)試是否會(huì)觸發(fā)新的事件。其核心就是快速瀏覽和搜索數(shù)據(jù)。第二種就是符號(hào)執(zhí)行（Symbolic Execution），相對(duì)應(yīng)的，就是更精細(xì)且慢速地分析程序。兩種技術(shù)互補(bǔ)，相得益彰。

ForAllSecure是 Mayhem 項(xiàng)目的重要參與者。創(chuàng)辦 “ForAllSecure” 公司的主要?jiǎng)訖C(jī)源于 Rebert 在卡內(nèi)基·梅隆大學(xué)大學(xué)的研究，Rebert 覺(jué)得他的發(fā)明能幫助到易受到攻擊的系統(tǒng)，例如電網(wǎng)、醫(yī)院以及銀行等。

對(duì)于安全，Rebert 有著獨(dú)特的見(jiàn)解，他說(shuō)：“如今的軟件數(shù)量太多了，僅僅靠人類自己審查是不夠的，也是不安全的。”

入選《麻省理工科技評(píng)論》2018 年度全球 “35 歲以下科技創(chuàng)新 35 人”先鋒者榜單。