阳振坤，现任蚂蚁集团副总裁，原生分布式关系数据库OceanBase 创始人兼首席科学家，先后获得数学学士和硕士学位以及计算机博士学位并留校，1993年破格晋升副教授，1997年破格晋升教授，1999年成为北京大学首批长江教授。现为蚂蚁集团高级研究员。北京奥星贝斯科技有限公司首席科学家。获得荣誉包括国家科学技术进步奖一等奖（排名第四）、北京市科学技术进步奖一等奖、第六届中国青年科技奖、北京市五四青年奖，第一届中国科协求是杰出青年奖等。2022年11月，阳振坤被 CCF 奖励委员会授予 2022 年“CCF 王选奖”，借此奖表彰其在计算机及相关领域里取得的显著学术成就和对社会的重要贡献。阳振坤主要研究领域为分布式系统及分布式数据库，2010 年在阿里巴巴发起了 OceanBase 分布式关系数据库的研发，OceanBase已经在蚂蚁集团的核心系统中全面取代了Oracle数据库。

阳振坤，1965年出生，湖北仙桃人。

1984年他从荆州中学考入北京大学数学系，硕士师从本系的张恭庆院士，博士师从计算机系的王选院士。

1993年博士毕业后不久，留校并破格提拔为计算机系副教授。

1997年8月被破格晋升为教授，成为YOCSEF荣誉委员。

1999年，年仅34岁的他受聘为北大特聘教授。离开高校后，阳振坤先后在方正技术研究院、联想研究院 、微软亚洲研究院等公司任职，曾先后担任方正研究院副院长、北大计算机研究所副所长、联想研究院首席研究员、微软亚洲研究院主任研究员、百度高级科学家等，主要研究方向为云计算系统。

2007年9月，阳振坤加盟百度，担任百度高级科学家，负责百度自主云计算系统的设计、开发和应用等工作。

2010年，阳振坤正式加入阿里巴巴，从0到1发起了OceanBase 分布式关系数据库的研发。

早在读博士期间，阳振坤就担任栅格图象研究室的主任，领导一批青年科研骨干，于1993年完成了国内第一个支持PostScript Level 2的栅格图象处理器，并很快成为商品，在海内外大量销售，取得了巨大的社会和经济效益，为我国新闻出版事业作出不可替代贡献。该项成果获1995年度国家科技进步一等奖（排名第四），和1995年全国十大科技成就之首。

中科院院士、北大方正科技研究院院长王选教授这样评价他：阳振坤研制了我国第一个页面语言解释器，在新一代RIP的总体设计、软件结构、关键算法等方面作出了关键性贡献。

2010年，阳振坤正式加入阿里巴巴，自主研发了OceanBase 分布式关系数据库。自 2014 年起，OceanBase替代 Oracle 在支付宝交易系统上线，已连续多年平稳支撑双11。。

一个冬日的下午，上地高科技园区联想研究院的休闲室里。

“您真朴素！”见到已是联想研究院首席研究员阳振坤博士的那一刹那，我脱口而出。阳振坤下意识地低头打量了一下自己，有点不好意思地笑笑说：“我经常被批评，就是因为我穿得太土。其实我已经习惯这样了，不这样穿我倒不习惯。”此时的阳振坤一身土色工作服宽松地套在身上，脚上一双塑料底的黑色条绒布鞋，淡然平静地坐在我对面。

也许我运气比较好吧，看准了一个东西，就做了，也成功了。

“1984年我考入北京大学数学系，大学3年里，我在计算机系读了好几门基础专业课。1987年读研究生，花了一年多一点时间，我修完了所有的课程，论文也做完了。1989年4月15日，也就是我研究生读了一年半的时候，我来到北大计算机技术研究所工作。”

有媒体称阳振坤为“一个不断‘破格’的人”，不仅是因为他从小到大未曾觉得学数学是件难事，大学只用了三年、硕士只用了一年多、24岁成为王选的博士生以及后来当大学老师、评副教授和教授都是破格提拔的，更多的还是因为他为电子出版系统作出的贡献。

“现在报纸的组版、排版，我们觉得图文混排很正常，但这在更早的时候是做不到的，那时候要用图片的话。是在文字间留一个空，照片用胶带贴上去再用照相机照下来，然后再印刷。”

“我刚到北大计算机研究所的时候，方正的照排系统用的自己的标准，它定义的版面相对来讲比较简单一些，用它做图文混排也有一定的难度，受到很大的限制。真正的图文混排，像彩色、渐变、清晰度、格式等这些大量应用于报纸出版还是在PostScript标准发展以后。”

“1989年，国际上刚刚出现一种新的电子出版系统标准，即PostScript标准。这个标准真正成为国际上的标准，是在1995年左右。而我按照这个标准来做电子照排输出软件大约是在1991年。也就是说，在国际上还没有认识到这个标准的重要性的时候，我就在王选老师的指导下开始按照这个标准的进行软件开发了。那时PostScript标准已经有两个版本，而我们直接就选用了第二个版本。”

“这样我在这个领域一做就是10多年。”

“1993年，我们完成了国内第一个支持栅格图像处理器。那时按照这个标准做出这种处理器的在全世界就只有两三家，支持中文的只有我们一家。就是这一个产品，取得了巨大的社会和经济效益，在海内外大量销售，大概卖了10个亿以上。也许我运气比较好吧，看准了一个东西，就做了，也成功了。说实话，这在当时是一个非常庞大的软件，非常非常复杂，当时投入了很多物力和人力，人最多的时候是100多个人一起做。”

“这就是第六代的光栅图像处理器，而前五代都是王选老师亲自主持研制的。接下来，我又主持研制第七代，彻底抛弃了硬件，完全由软件来支撑。1997年7月，我们成功地推出了方正世纪光栅图像处理器，这是新一代的，是纯软件的。

阳振坤曾获得国家科学技术进步奖一等奖(排名第四)、北京市科学技术进步奖一等奖、第六届中国青年科技奖、北京市五四青年奖、第一届中国科协求是杰出青年奖等荣誉。2022年11月，荣获2022 年“CCF 王选奖”。