Орен Паташник - Oren Patashnik
Орен Паташник (род. 1954) - американский ученый-компьютерщик. Он известен тем, что стал соавтором BibTeX и соавтором Concrete Mathematics: A Foundation for Computer Science . Он работает исследователем в Центре коммуникационных исследований в Ла-Хойе и живет неподалеку в Сан-Диего. У Орена и его жены Эми трое детей: Джош, Ариэль и Джереми.
История
Орен Паташник окончил Йельский университет в 1976 году, а затем стал докторантом по информатике в Стэнфордском университете , где его исследованиями руководил Дональд Кнут .
Работая в Bell Labs в 1980 году, Паташник доказал, что Кубич всегда может выиграть первый игрок. Доказательство Паташника, использующее 1500 часов компьютерного времени, является ярким примером компьютерного доказательства .
В 1985 году Паташник создал библиографическую систему BibTeX в сотрудничестве с Лесли Лэмпортом , создателем LaTeX . LaTeX - это системный язык и язык программирования для форматирования документов, специально разработанный для математических документов. BibTeX - широко используемый инструмент форматирования библиографии для LaTeX .
В 1988 г. Паташник помог Рональду Грэхему и Дональду Кнуту в написании важной математической публикации и учебника для колледжа « Конкретная математика: фонд компьютерных наук» [3] .
В 1990 году он получил докторскую степень по информатике. Его дипломная работа была посвящена «Оптимальной сегментации схемы для псевдо-исчерпывающего тестирования» [4] .
После того, как в 2003 году Cedar Fire уничтожил 60% домов в непосредственной близости от него, его статистическое исследование показало, что дома с деревянной черепичной крышей преуспели очень плохо, но удивительно то же самое и с домами с изогнутой красной черепицей в испанском стиле. крыша.
Заметки
Рекомендации
- (PDF) «Как выиграть в крестики-нолики» (Mathellaneous, июль 2005 г., Мельбурнский университет) - 11-страничная статья с разделом, посвященным усилиям Паташника по Кубику.
- Кредиты по конкретной математике
 |
Эта биографическая статья, касающаяся компьютерного специалиста, незавершена . Вы можете помочь Википедии, расширив ее . |