أورين باتاشنيك

أورين باتاشنيك (مواليد 1954) ^{[ 1 ]} هو عالم حاسوب أمريكي. شارك في إنشاء BibTeX ، وشارك في تأليف كتاب الرياضيات الملموسة: أساس لعلوم الحاسوب .

أثناء عمله في مختبرات بيل عام 1980، أثبت باتاشنيك أن لعبة كيوبيك يمكن الفوز بها دائمًا من قبل اللاعب الأول. وباستخدام 1500 ساعة من وقت الحاسوب، يُعد برهان باتاشنيك مثالًا مبكرًا على البرهان بمساعدة الحاسوب . ^{[ 2 ]}

في عام 1985، ابتكر باتاشنيك نظام BibTeX لتنسيق المراجع ، بالتعاون مع ليزلي لامبورت ، مبتكر LaTeX . LaTeX هو نظام ولغة برمجة لتنسيق المستندات، مصمم خصيصًا للمستندات الرياضية. يُعد BibTeX أداة شائعة الاستخدام لتنسيق المراجع في LaTeX. ^{[ 3 ]}

ساعد باتاشنيك رونالد جراهام ودونالد كنوث في كتابة كتاب الرياضيات الملموسة لعام 1988: أساس لعلوم الحاسوب . ^{[ 4 ]}

أصبح باتاشنيك طالب دكتوراه لدى أندرو ياو في جامعة ستانفورد ، حيث أكمل درجة الدكتوراه في عام 1990. ^{[ 5 ]}