从头到尾解决复杂问题

早在20世纪70年代，当编程先驱们还在研究如何使用他们的超大计算机时，理论家们就开发了一种系统，根据解决问题的速度对计算机科学问题进行分类。

这种“复杂性理论”以一种字母汤的形式出现:可以通过合理快速的程序解决的问题——比如乘法，或者对一列名字进行字母排序——用字母“P”表示。在复杂度阶梯上更进一步的是“NP”问题——可能无法解决的问题，但当提供潜在解决方案时，可以在合理的时间内验证。

随着复杂性理论的发展，很明显，许多NP挑战实际上是同一个问题的变体;这是个好消息，因为解决一个问题将为解决其他所有问题扫清道路。但这也是个坏消息，因为这类类似NP问题的子集——被归类为“NP完全”——仍然无法用已知的编程方法解决。这只是复杂性的冰山一角。很快，一组新的挑战被识别出来，其特点是“至少和NP完全问题一样难”。这个新类别被命名为“NP困难”。

这就是阿米尔·阿布德博士的工作发挥作用的地方。建立在NP困难的理论基础上，NP困难是由计算机不一定能解决的问题的一个子集所共有的属性
Abboud博士开始将“硬度”定义为适用于P的问题:那些可以以合理的效率解决的问题。

Abboud博士的研究位于复杂性理论和算法科学的交叉点，他的研究使用了严格的，基于理论的方法来检查和改进算法设计师解决现实生活计算问题的方式。
“在我的博士工作期间，我惊讶地意识到这个有价值和明显的议程在很大程度上被理论界忽视了，”Abboud博士说。“从那时起，情况发生了变化——今天，世界各地的数十个研究小组正在研究‘P中的硬度’。”

他说，虽然还有很多工作要做，但这种理论方法足够重要，也足够简单，可以纳入本科生的主流计算机科学教育。
“作为计算机科学家，寻找最佳的前进道路有时是一个淘汰的过程，”他说。“我的研究的总体目标是通过提供关于能解决和不能解决的问题的确凿证据来帮助计算机科学向前发展。”

生物

阿卜德博士是海法人，12岁时开始在以色列开放大学学习数学，15岁时进入海法大学并获得学士学位。以最优等成绩2010年，他在计算机科学专业获得了诺贝尔奖。2012年获得理学硕士学位以最优等成绩他在以色列理工学院和斯坦福大学获得计算机科学博士学位(2018年)。完成博士学位后，Abboud博士受聘于IBM研究院位于加利福尼亚州圣何塞的阿尔马登实验室，在那里他一直在研究基础计算机科学问题的计算复杂性。

Abboud博士在他的学术生涯中获得了卓越奖项，并在麻省理工学院、加州大学伯克利分校的西蒙斯研究所和海法大学担任访问研究员。Abboud博士是世界各地专业会议的受邀演讲者，他担任各种会议的程序委员会成员，包括计算机科学基础研讨会，自动机、语言和编程国际研讨会，以及离散算法研讨会，在这些会议上，他提交的论文成为引用最多的论文。

他精通阿拉伯语、希伯来语和英语。他是一名狂热的足球迷，曾是马卡比海法青年队的一员。