لاري ووس

كان لورانس تي. ووس (1930-2020) عالم رياضيات أمريكيًا ، وباحثًا في قسم الرياضيات وعلوم الحاسوب في مختبر أرغون الوطني . ^{[ 1 ]}

درس ووس في جامعة شيكاغو ، وحصل على درجة البكالوريوس عام 1950 ودرجة الماجستير في الرياضيات عام 1954، ثم تابع دراساته العليا في جامعة إلينوي في أوربانا-شامبين، حيث نال درجة الدكتوراه عام 1957 تحت إشراف راينهولد باير . ^{[ 2 ]} انضم إلى مختبر أرجون الوطني عام 1957، وبدأ استخدام الحواسيب لإثبات النظريات الرياضية عام 1963. ^{[ 3 ] [ 4 ]}

كان ووس كفيفاً منذ ولادته . وكان لاعب بولينغ شغوفاً ، وأفضل لاعب بولينغ كفيف من الذكور في الولايات المتحدة. ^{[ 5 ] [ 6 ] [ 7 ]}

في عام 1982، كان ووس وزميله ستيف وينكر أول من فاز بجائزة إثبات النظريات الآلي، التي تمنحها الجمعية الرياضية الأمريكية . ^{[ 5 ]} وفي عام 1992، كان ووس أول من فاز بجائزة هيربراند لمساهماته في مجال الاستدلال الآلي . ^{[ 8 ]} ونُشر كتاب تذكاري تكريمًا له بعنوان " الاستدلال الآلي وتطبيقاته: مقالات تكريمًا للاري ووس " (تحرير روبرت فيروف) من قِبل مطبعة معهد ماساتشوستس للتكنولوجيا في عام 1997 ( ISBN 10000). 0-262-22055-5).

ووس وجيل دبليو بايبر هما المؤلفان المشاركان لكتاب " بلد رائع في عالم الحوسبة: دليلك إلى الاستدلال الآلي" (دار النشر العالمية، 1999، رقم ISBN 10 ... 978-981-02-3910-7) والاستدلال الآلي واكتشاف البراهين المفقودة والأنيقة (دار رينتون للنشر، 2003، رقم ISBN 1-58949-023-1نُشرت أعمال ووس الكاملة بواسطة دار النشر العالمية "وورلد ساينتيفيك" عام 2000، في مجلدين ( ISBN ). 978-981-02-4001-1).

• قائمة المنشورات في DBLP
• ماريا باولا بوناسينا (مع فرانز بادر، وآلان بندي، وأولريش فورباخ، وفرانك بفينينج، وجون سلاني، وكريستوف فايدنباخ)، "In Memoriam: Larry Wos"