Education
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.
- Photos
- Works
- Photos
- Works
Oren Patashnik
Edit Profile
Career
He is a researcher at the Center for Communications Research, Louisiana Jolla, and lives nearby in San Diego. 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 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.
