Орен Паташник: Американдық ғалым және компьютерлік жетістіктері
Oren Patashnik
Орен Паташник – американдық ғалым, BibTeX құрастырушысы, «Конкретті математика» авторы. Дональд Кнуттың шәкірті, Сан-Диегода тұрады. Компьютер ғылымы сарапшысы.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы 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 жылы Йель университетін бітірді, кейіннен Стэнфорд университетінде компьютерлік ғылымдар бойынша докторы болып оқыды, онда оның зерттеулерін Дональд Кнут жетекшілік етті. 1980 жылы Bell Labs зертханасында жұмыс істеген кезде Паташник Qubic ойынында бірінші ойыншының әрқашан жеңе алатынын дәлелдеді. 1500 сағат компьютер уақытын қолданып жасалған Паташниктың дәлелі компьютерлік көмекпен дәлелдеудің көрнекті мысалы болып табылады. 1985 жылы Паташник, LaTeX жүйесін жасаушы Лесли Лампортпен бірлесіп, BibTeX библиографиялық жүйесін құрды. LaTeX – математикалық құжаттарды жасауға арналған, арнайы құжаттарды форматтау жүйесі және бағдарламалау тілі. BibTeX – LaTeX үшін кеңінен қолданылатын библиографиялық форматтау құралы. 1988 жылы Паташник Рональд Грэм мен Дональд Кнутқа «Concrete Mathematics: A Foundation for Computer Science» (Компьютерлік ғылым негіздері: Нақты математика) атты маңызды математикалық басылым мен жоғары оқу оқулығын жазуға көмектесті. 1990 жылы ол компьютерлік ғылымдар бойынша докторлық диссертациясын қорғады. Оның диссертациялық жұмысы «Псевдо-толық сынау үшін оптималды схема сегментациясы» тақырыбына арналған. 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.