Представители Ассоциации вычислительной техники (Association for Computing Machinery, ACM) назвали Лесли Лэмпорта, ведущего исследователя компании Microsoft Research, обладателем премии Алана Тьюринга за 2013 года, премии, которая является своего рода аналогом Нобелевской премии и которая присуждается за выдающиеся достижения в области информационных технологий. Вместе со званием лауреата Лесли Лэмпорт стал обладателем денежной премии в размере 250 тысяч долларов, которая была предоставлена компаниями Intel и Google.