Дон Сайм: біографія

Наукова діяльність

Раніше Сайм в команді з кількома розробниками (серед яких був і Ендрю Кеннеді, а потім і Андерс Хейлсберг), створив узагальнення для. NET Common Language Runtime, включаючи первинну версію дизайну узагальнень для мови програмування C #. Кеннеді, Сайм і Ю також формалізували цю широко використовувану систему.

Є членом робочої групи WG2.8 за функціональним програмування.

У минулому працював також над формальною специфікацією, інтерактивним підтвердженням, автоматичною перевіркою і мовами опису перевірок.

У 1998 році влаштувався на роботу в Microsoft Research.

Звання

Володіє ступенем доктора філософії, отримавши її в Комп'ютерної Лабораторії Кембриджського університету в 1999 році.

Твори

• Дон Сайм, Адам Гранич, Антоніо Чістерніно= Expert F #. - Лондон: Apress, грудень 2007. - С. 609. - ISBN 978-1-59059-850-4

Комментарии

Сайт: Википедия