Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
Орен Паташник (род. 1954) — американский учёный в области компьютерных наук. Он известен как один из создателей BibTeX и соавтор книги «Concrete Mathematics: A Foundation for Computer Science». В настоящее время он является исследователем в Центре коммуникационных исследований в Ла-Хойе и проживает в Сан-Диего. У Орена и его жены Эми трое детей: Джош, Ариэль и Джереми.
American computer scientist
Oren Patashnik (born 1954) is an American computer scientist. He is notable for co creating BibTeX, and co writing Concrete Mathematics: A Foundation for Computer Science. He is a researcher at the Center for Communications Research, La Jolla, and lives nearby in San Diego. Oren and his wife Amy have three children, Josh, Ariel, and Jeremy.
История
Орен Паташник окончил Йельский университет в 1976 году, а затем поступил в аспирантуру по информатике в Стэнфордском университете, где его научным руководителем был Дональд Кнут. Работая в Bell Labs в 1980 году, Паташник доказал, что в Кубик всегда может выиграть первый игрок. Доказательство Паташника, выполненное с использованием 1500 часов компьютерного времени, является заметным примером доказательства с использованием компьютера. В 1985 году Паташник совместно с Лесли Лэмпортом, создателем LaTeX, разработал библиографическую систему BibTeX. LaTeX – это система и язык программирования для оформления документов, специально предназначенная для математических текстов. BibTeX – широко используемый инструмент для форматирования библиографии в LaTeX. В 1988 году Паташник помогал Рональду Грэму и Дональду Кнуту в написании книги «Конкретная математика: Основа для компьютерных наук», важной математической публикации и учебника для вузов. В 1990 году он получил докторскую степень по информатике. Его диссертация была посвящена теме «Оптимальная сегментация схем для псевдополного тестирования». После того, как пожар в Cedar Fire в 2003 году уничтожил 60% домов в его районе, его статистическое исследование показало, что дома с крышей из деревянной черепицы пострадали очень сильно, но, как ни странно, аналогичная ситуация наблюдалась и с домами, крытыми испанской черепицей с изогнутой красной плиткой.
Oren Patashnik graduated from Yale University in 1976, and later became a doctoral student in computer science at Stanford University, where his research was supervised by Donald Knuth. While working at Bell Labs in 1980, Patashnik proved that Qubic can always be won by the first player. Using 1500 hours of computer time, Patashnik's proof is a notable example of a computer assisted proof. In 1985, Patashnik created the bibliography system, BibTeX, in collaboration with Leslie Lamport, the creator of LaTeX. LaTeX is a system and programming language for formatting documents, which is especially designed for mathematical documents. BibTeX is a widely used bibliography formatting tool for LaTeX. In 1988, Patashnik assisted Ronald Graham and Donald Knuth in writing Concrete Mathematics: A Foundation for Computer Science, an important mathematical publication and college textbook. In 1990, he got his doctorate in computer science. His thesis paper was about "Optimal Circuit Segmentation for Pseudo Exhaustive Testing"
After the 2003 Cedar Fire destroyed 60% of the houses in his immediate neighborhood, his statistical study showed that houses with a wood shake shingle roof did very badly, but surprisingly, so did houses with a Spanish style, curved red tile roof.