Лесли Лэмпорт о программировании как о большем, чем кодирование

Есть несколько лекций, которые нельзя пропустить – это одна из них. Речь идет о задачах, которые вы выполняете перед тем, как начать писать код.

Лесли Лэмпорт

Кто такая Лесли Лэмпорт?

Я не могу ничего лучше, чем цитата из анонса лекции:

Доктор Лэмпорт получил докторскую степень по математике в Университете Брандейса, защитив диссертацию по сингулярностям в аналитических уравнениях с частными производными. Это, вместе с полным отсутствием образования в области компьютерных наук, подготовило его к карьере специалиста по информатике в Massachusetts Computer Associates. , SRI, Digital и Compaq. Он утверждает, что не по его вине виноват эти четыре корпорации, только та, которая должна была быть некоммерческой, все еще существует. Он присоединился к Microsoft в 2001 году, но эта компания еще не поддался.

Чтобы быть немного более точным, в настоящее время он работает в Microsoft Research.

В краткой биографии говорится:

Совсем недавно доктор Лэмпорт раздражал компьютерных ученых и инженеров, убеждая их понять алгоритм или систему, прежде чем реализовывать их, и пугая их, говоря, что они должны использовать математику. В попытке заставить его говорить о других вещах, ACM вручил ему премию Тьюринга 2013 года.

Вы можете видеть, что он мог сказать что-то интересное, и Коллоквиум по компьютерным системам в Стэнфордском университете дал ему возможность поговорить на тему «Программирование должно быть больше, чем кодирование». Я должен сказать, что если вы разбираетесь в математике и знаете о функциональном программировании, то, возможно, вам не покажется удивительным то, что он говорит:

Стоит отметить, что в рамках серии семинаров каждую неделю читаются новые лекции по компьютерным системам. Вы можете найти список видео, уже доступных для просмотра, на Коллоквиуме по компьютерным системам.

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *