Дж. Харрисон

Общая информация
Джон Харрисон
Intel
http://www.cl.cam.ac.uk/~jrh13/
О лекторе

Профессор Харрисон занимается формальной верификацией в компании Intel Corporation. Его основной специализацией является верификация алгоритмов, работающих с числами с плавающей точкой. Профессор Харрисон внёс вклад в разработку стандарта IEEE 754.

Является автором книги "Handbook of Practical Logic and Automated Reasoning", а также членом редколлегии журнала Journal of Automated Reasoning.

Введение в функциональное программирование (перевод на русский заметок курса): https://code.google.com/p/funprog-ru/downloads/list

Курсы
осень 2013 Автоматическое доказательство теорем Санкт-Петербург (St. Petersburg)
Share |