Algorand生态伙伴们(19)：安全验证领先者RV之团队篇

人在链圈，遵从本心、顺其自然地“链赚”。我有“4PAI”计划：实在参与的“行动派”系列、兴致研讨的“随心Pie”系列、全球引智的“薏米Pie”系列、学习进阶的“学缘Pie”系列。本文是“行动派”系列第109篇，敬请指正。

Algorand是由密码学先驱、图灵奖得主、麻省理工学院教授Silvio Micali创建的科技公司，旨在解决“区块链不可能三角问题”，以去中心化、可延展性和安全性的特色技术，赋能“无摩擦金融”，支持“无国界经济”。作为无需许可、即时交易终结、没有分叉的明星公链，Algorand于2019年6月主网上线、同年11月推出Algorand 2.0协议，显示了强大的技术实力和卓越的网络性能。

“与凤凰同飞，必是俊鸟”。目前，Algorand 生态发展快速，已经拥有了来自泛金融和高科技行业的上百家优秀合作伙伴，支持了世界首个国家数字货币-马绍尔群岛共和国数字法币的发行，英国《金融时报》披露Facebook也曾谋求并购以共同开发Libra项目。笔者撰写的《Algorand生态伙伴们》系列文章，力图从合作伙伴角度，更多维、更深度地透视并分享Algorand发展超级公链生态的“图灵奖”级思路和策略。

2020年7月29日，经过严格审核和选拔，Runtime Verification（RV）公司脱颖而出，成为了获得Algorand基金会“2.5亿ALGO奖励计划”的团队之一。RV将使用K-架构为Algorand智能合约开发一个形式化语义框架，为开发正确构建的智能合约工具奠定基础。作为《Algorand生态伙伴们》系列第19篇，本文介绍Runtime Verification团队情况，被以太坊、Algorand、波卡、Tezos、Cardano等头部公链追逐合作的国际化博士军团，堪称区块链世界顶级实力。

格里戈里·罗素，首席执行官

格里戈里·罗素（Grigore Ro?u）于2010年1月创建了Runtime Verification公司，并担任CEO和总裁至今。同时，格里戈里是伊利诺伊大学厄巴纳-香槟分校（UIUC）计算机科学教授，领导着该校形式化系统实验室（FSL）。UIUC是美国知名的“公立常春藤”大学，其工程学院在全美乃至世界堪称至尊级地位，始终位于美国大学工程学院排名前五，计算机工程排名更是全美第二。唯一的华裔“图灵奖”得主姚期智，就是UIUC的计算机博士。

来自罗马尼亚的格里戈里，自我画像标签是：编程语言、形式化方法和软件工程领域的研究者、教育家和企业家。“我的主要目标是，设计和开发有助于提高计算系统质量、性能和有效性的技术。”从他的学术与职业发展经历看，名副其实。

格里戈里1996年- 2000年在加州大学圣迭戈分校计算机科学学习，并获得博士学位。期间，他在圣迭戈分校雅各布工程学院获得了GPA 4.0的惊人成绩。博士毕业后，他当年进入美国国家航空航天局（NASA）艾姆斯研究中心，担任了2年研究科学家，从事程序综合与验证的研究工作。在那里，他与同事们共同创造了“运行时验证”术语和概念。

2002年8月起至今，格里戈里加入UIUC执教，已经长达18年多。教学领域包括形式化方法、编程语言和软件工程。他对感兴趣，特别关注如何将编程语言、形式化方法和软件工程结合起来，以提高计算系统的安全性、安全性和可靠性。他获得了美国国家科学基金会（NSF）职业奖、国际计算机学会（ACM）自动化工程分会最佳论文奖、UIUC杰出青年奖等荣誉。

据ResearchGate不完全统计，他发表了150篇计算机专业文章，是精力充沛的勤奋研究者。他在形式化方法领域的论文，在国际计算机界反响强烈，奠定了运行时验证的理论基础。格里戈里的朋友、卡尔达诺创始人查尔斯·霍金森曾经介绍，当年，格里戈里完成了KEVM论文，在个人网站上发表，第一个星期，那篇论文的下载量就超过了他以往发表过文章的阅读量总和，他完全疯了！通常情况下，每篇文章差不多也就十来人次阅读，这一篇竟然有大约五千多下载量，可见这篇文章在当年的影响力。

帕特里克·麦凯，首席运营官

帕特里克·麦凯（Patrick MacKay）是2018年3月加入Runtime Verification，担任首席运营官。他主要负责监督美国（18名全职员工）和罗马尼亚（8名全职员工）办公室的日常运营，直接负责业务发展、项目管理、财务和会计、资金筹集和人力资源。他主持公司在专业服务业务中，引入了“类似敏捷”开发流程，推动了公司从学术研究转向商业参与和交付的转型，2019年客户获得量就同比增长了300%。

帕特里克职业生涯早期经历丰富，也与中国有缘。他在2005年从名校乔治城大学国际政治专业毕业后，选择远离舒适区，去自己没去过和经历过的世界闯荡。他选择了位于常州的江苏技术师范学院（现为江苏理工学院），担任英语、新闻和西方文化的外教，在中国工作了一年。

2006年回国后，帕特里克先后短暂地在伦登集团做媒体分析师（拉丁美洲）、在国际通信卫星组织（ Intelsat）担任文件助理、在美国市长联合会担任项目助理，在2007年决定回学校攻读MBA。

他于2008-2010年在UIUC吉斯商学院攻读MBA，读书期间，他在004GmbH实习一年多，与公司总部高层一起制定了004公司的商业计划和模式，最终004公司于2010年6月在伊利诺伊大学研究园的企业工程孵化器启动了美国业务。帕特里克作为004公司美国子公司创始人兼5年的总裁，该公司作为移动开发公司，负责苹果iOS和谷歌Android操作系统移动应用程序的设计、开发和维护，为欧洲零售商提供交钥匙解决方案。在2014年，他还兼任004公司的首席产品官。

在加入RV之前，他是Capital One银行伊利诺伊数字校园实验室的创始董事和总经理，该实验室是Capital One在大学校园内设立的第一个研发机构。帕特里克负责日常运营，自2015年秋季开业以来经过3年发展，已经有90多名下属。

博格丹·斯坦丘，首席产品官

博格丹·斯坦丘（Bogdan Stanciu）于2018年3月作为设计总监加入Runtime Verification，将他在市场营销和经济方面的学术训练与对设计的热情结合在一起，将他在劳动力、教育和IT咨询等市场获得的综合经验，应用于战略、客户理解和数字产品开发。因业绩出色，现晋升为公司首席产品官，步入公司高管团队。

博格丹来自罗马尼亚，1992-1997年在罗马尼亚的亚历山德罗·杨·库扎大学读书，获得市场营销和经济学学士学位。大学毕业后，他主要在罗马尼亚从事市场营销领域工作，先后在印刷包装公司、烟草贸易公司做市场经理助理，后来在两家媒体公司担任多年的艺术总监和创意总监。

2004-2006年，他留学美国东伊利诺大学学习，获得了经济学硕士学位。在读书期间和毕业后的5年里，他继续发挥设计特长，先后做过Web设计师、Graphic设计师、广告公司的平面设计师、自创业工作室兼做设计师，期间，还在伊利诺伊大学香槟分校做了3年半的高级信息架构师。

2011年7月- 2015年6月，博格丹加入里士满Snagajob公司任高级信息架构师，这是一家世界上最大的小时工在线社区，专门为小时工雇主提供劳动力管理解决方案的领先提供商，包括了6000多万注册求职者、2.5万雇主和2.5万个活跃的招聘职位，曾被评选为2011年美国最佳小公司。

里士满的Impact Makers，用户体验主管，2015年6月- 2018年2月，博格丹进入里士满的Impact Makers公司，担任用户体验主管。这是一家真正践行“社会企业家精神”的公司，所有权捐赠给社区，净利润100%贡献给慈善机构。2014年，Impact Makers在Inc.500美国增长最快的私营企业排行榜上排名第463位，三年销售额增长率达1024%，在《CRN》杂志2014年全球增长最快150家IT解决方案提供商中排名第12位。

博格丹长期兼任欧洲信息架构峰会的国家大使，作为国际设计界的活跃成员，博格丹一直在国际论坛上作为演讲者分享他的经验，比如Web及其他领域（阿姆斯特丹，2011）、IA Konferentz（柏林，2013）、EuroIA（阿姆斯特丹，2016）、UXCamp（埃德蒙顿，2018）、UXD Healthcare（伦敦，2019）和EuroIA（里加，2019年）。

国际博士军团中的华裔博士们

Runtime Verification公司之所以在区块链及IT安全领域成为实力型的领头羊公司，吸引了以太坊、Algorand、Tezos、ADA等明星公链纷至沓来进行合作，除了创始人格里戈里·罗素教授作为运行时验证理论的奠基人外，也得益于研究与工程团队的极高素质。

根据项目公司官网统计，目前该公司26名在职人员（不含3名高管），共有9名博士（4位主管全部为博士）、4位在读博士生，占员工的50%。从毕业学校分布看，来自UIUC的博士和博士生8人；3位博士和博士生来自罗马尼亚的大学；1位康奈尔大学博士；1位捷克马萨里克大学博士生。从国籍分布看，上述博士来自美国、罗马尼亚、中国、沙特等国家。同时，RV还有8位重要合作者（Collaborators），包括1位教授、4位博士、3位博士生。由此，RV团队是名副其实的国际化博士军团，堪称区块链世界的顶级实力型团队。

有“玉米地大学”之称的UIUC，广为流传的特点是“人多，中国人多，风大”，历来招引众多中国留学生，是对中国学生最友好的美国大学之一。这源于富有传统的历史，早在1906年，UIUC时任校长爱德蒙·詹姆斯致信美国总统西奥多·罗斯福，建议将庚子赔款用于发展中国的教育事业，由此资助了诸多中国学生留美深造。那一时期，UIUC也培养了多达1/3的早期留美中国学生。

很自然，RV团队也少不了来自中国的贡献者。按官网统计，目前RV全职和合作者团队中，共有6位华裔人士，其中博士生3人，在RV可谓地位非常重要。读者们可以对下面这几位保持关注，未来会是区块链领域的扛鼎之人。祝福他们！

合作者之一的李毅龙，2014年在UIUC获得了计算机科学学士学位，之后在RV公司做了一年的高级软件工程师，参与了公司旗舰产品K-架构的研发。2015年，他入学斯坦福大学攻读计算机博士学位，同时作为合作者，致力于使用最大因果模型高效地实现数据竞争检测，并领导了针对Java的RV Predict产品的开发。

陈晓虹是北京大学数学学士，目前在UIUC攻读格里戈里·罗素教授的博士，并与格里戈里多次共同发表学术论文，堪称教授最得意的在读弟子，成为RV合作者是水到渠成。陈晓虹的主要研究方向包括形式化方法和程序设计语言，特别是形式化规范和验证以及程序逻辑。

张毅在RV从事全职工作，同时在UIUC攻读博士学位，研究基于形式语义的程序验证。张毅本科毕业于上海交通大学，2016年和2017年曾两次在谷歌（Google）做暑期实习生。2017年加入YouTube团队，使用TensorFlow对回归测试报告进行聚类。他在RV的目标是将编程语言和虚拟机的语义形式化，以便在区块链上执行智能合约，并使用这些语义来验证智能合约。

（本文图片来自公开网络）

（END）

（敬请关注Hameiz“赫美兹区块链”公众号）

本文来源：Hameiz
原文标题：Algorand生态伙伴们(19)：安全验证领先者RV之团队篇

—-

编译者/作者：Hameiz

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。