Орен Паташник (родился в 1954 году) [1] — американский учёный-компьютерщик. Он был одним из создателей BibTeX и соавтором Concrete Mathematics: A Foundation for Computer Science .
Работая в Bell Labs в 1980 году, Паташник доказал, что Qubic всегда может выиграть первый игрок. Используя 1500 часов компьютерного времени, доказательство Паташника является ранним примером компьютерного доказательства . [2]
В 1985 году Паташник создал библиографическую систему BibTeX в сотрудничестве с Лесли Лэмпортом , создателем LaTeX . LaTeX — это система и язык программирования для форматирования документов, специально разработанный для математических документов. BibTeX — широко используемый инструмент форматирования библиографии для LaTeX. [3]
Паташник помогал Рональду Грэму и Дональду Кнуту в написании учебника 1988 года « Конкретная математика: основа компьютерной науки» . [4]
Паташник стал докторантом Эндрю Яо в Стэнфордском университете , где он получил докторскую степень в 1990 году. [5]