オレン・パタシュニク

オレン・パタシュニク（1954年生まれ）^{[ 1 ]}はアメリカのコンピュータ科学者です。彼はBibTeXを共同開発し、『Concrete Mathematics: A Foundation for Computer Science』を共同執筆しました。

1980年にベル研究所で働いていたパタシュニクは、キュービックは必ず先攻プレイヤーが勝つことを証明した。1500時間のコンピュータ時間を使用したパタシュニクの証明は、コンピュータ支援証明の初期の例である。^{[ 2 ]}

1985年、パタシュニクはLaTeXの開発者であるレスリー・ランポートと共同で、文献管理システムBibTeXを作成した。LaTeXは文書の書式設定のためのシステムおよびプログラミング言語であり、特に数式文書向けに設計されている。BibTeXはLaTeX用の広く使われている文献書式設定ツールである。^{[ 3 ]}

パタシュニクは、ロナルド・グラハムとドナルド・クヌースが1988年に出版した教科書『Concrete Mathematics: A Foundation for Computer Science』の執筆を支援した。^{[ 4 ]}

パタシュニクはスタンフォード大学のアンドリュー・ヤオの博士課程に進み、1990年に博士号を取得した。^{[ 5 ]}