Oren Patashnik

Oren Patashnik (född 1954) är en amerikansk datavetare. Han är känd för att ha skapat BibTeX och varit med och skrivit Concrete Mathematics: A Foundation for Computer Science . Han är forskare vid Center for Communications Research, La Jolla , och bor i närheten i San Diego. Oren och hans fru Amy har tre barn, Josh, Ariel och Jeremy.

Historia

Oren Patashnik tog examen från Yale University 1976 och blev senare doktorand i datavetenskap vid Stanford University , där hans forskning övervakades av Donald Knuth .

Medan han arbetade på Bell Labs 1980, bevisade Patashnik att Qubic alltid kan vinnas av den första spelaren. Genom att använda 1500 timmars datortid är Patashniks bevis ett anmärkningsvärt exempel på ett datorstödt bevis .

1985 skapade Patashnik bibliografisystemet BibTeX , i samarbete med Leslie Lamport , skaparen av LaTeX . LaTeX är ett system- och programmeringsspråk för formatering av dokument, som är speciellt utformat för matematiska dokument. BibTeX är ett flitigt använt bibliografiformateringsverktyg för LaTeX .

1988 hjälpte Patashnik Ronald Graham och Donald Knuth med att skriva Concrete Mathematics: A Foundation for Computer Science [3] , en viktig matematisk publikation och högskolelärobok.

1990 doktorerade han i datavetenskap. Hans examensarbete handlade om "Optimal Circuit Segmentation for Pseudo-Exhaustive Testing" [ 4] .

Efter att cederbranden 2003 förstörde 60 % av husen i hans närmaste grannskap, visade hans statistiska studie att hus med ett tak med träskakande spåntak klarade sig mycket dåligt, men överraskande nog gjorde hus med en spansk stil, böjd-röd kakel. tak.

Anteckningar

• (PDF) "How to Win at Tic-Tac-Toe" (Mathellaneous, juli 2005, University of Melbourne) - 11-sidig artikel med ett avsnitt om Patashniks insats på Qubic
• Credits of Concrete Mathematics