วิลเลียม เอียน กาซาร์ช
ศาสตราจารย์ บิลล์ กาซาร์ช แห่งมหาวิทยาลัยแมริแลนด์
เกิด	ปี 1959 (อายุ 66-67 ปี )
อัลมา มัธยฐาน	มหาวิทยาลัยสโตนีบรูกมหาวิทยาลัยฮาร์วาร์ด
เป็นที่รู้จัก ในด้าน	ทฤษฎีความซับซ้อนในการคำนวณทฤษฎีความสามารถในการคำนวณทฤษฎีการเรียนรู้เชิงคำนวณทฤษฎีแรมซีย์
เส้นทางอาชีพด้านวิทยาศาสตร์
ฟิลด์	วิทยาการคอมพิวเตอร์
สถาบันต่างๆ	มหาวิทยาลัยแมริแลนด์ คอลเลจพาร์ค
อาจารย์ที่ปรึกษาปริญญาเอก	แฮร์รี่ อาร์. ลูอิส
เว็บไซต์	www.cs.umd.edu/~gasarch http://blog.computationalcomplexity.org/​​​​

William Ian Gasarch ( / ɡ ə ˈ s ɑː r ʃ / gə- SARSH ; ^{[ 1 ]}เกิดปี 1959 ^{[ 2 ]} ) เป็นนักวิทยาศาสตร์คอมพิวเตอร์ชาวอเมริกันที่มีชื่อเสียงจากผลงานด้านทฤษฎีความซับซ้อนของการคำนวณทฤษฎี ความสามารถ ในการคำนวณทฤษฎีการเรียนรู้เชิง คำนวณ และทฤษฎีแรมซีย์ปัจจุบันเขาเป็นศาสตราจารย์ประจำ ภาควิชาวิทยาการคอมพิวเตอร์ มหาวิทยาลัยแมริแลนด์โดยมีตำแหน่งร่วมในสาขาคณิตศาสตร์

Gasarch มักเป็นที่ปรึกษาโครงการวิจัยของนักเรียนมัธยมปลาย หนึ่งในนั้นคือโครงการที่ทำร่วมกับJacob Lurie ซึ่ง Lurie ได้รับรางวัล Westinghouse Science Talent Search ใน ปี 1996 ^{[ 3 ]}เขาร่วมเขียนบล็อกเกี่ยวกับความซับซ้อนของการคำนวณกับLance Fortnowตั้งแต่ปี 2007 เขาเป็นบรรณาธิการรีวิวหนังสือของACM SIGACT NEWS ตั้งแต่ปี 1997 ถึง 2015

Gasarch ได้รับปริญญาเอกสาขาวิทยาการคอมพิวเตอร์จากมหาวิทยาลัยฮาร์วาร์ดในปี 1985 โดยมีHarry R. Lewis เป็นที่ปรึกษา วิทยานิพนธ์ของเขามีชื่อว่าเทคนิคเชิงทฤษฎีการเรียกซ้ำในทฤษฎีความซับซ้อนและคณิตศาสตร์เชิงการจัดเรียง [ ^{4 ] เขา}ได้รับการว่าจ้างให้ดำรงตำแหน่งศาสตราจารย์ประจำที่มหาวิทยาลัยแมริแลนด์ในฤดูใบไม้ร่วงปี 1985 เขาได้รับการเลื่อนตำแหน่งเป็นรองศาสตราจารย์ประจำในปี 1991 และเป็นศาสตราจารย์เต็มตัวในปี 1998 ^{[ 5 ]}

Gasarch ร่วมก่อตั้ง (กับ Richard Beigel) สาขา Bounded Queries ในทฤษฎีการเรียกซ้ำ^{[ 6 ]}และได้เขียนบทความมากมายในสาขานี้ โดยมีผลงานชิ้นเอกคือหนังสือที่ร่วมเขียนกับ Georgia Martin ในชื่อBounded Queries in Recursion Theory [ ^{7 ] เขา}ได้ตีพิมพ์หนังสือหลายเล่ม เช่นProblems with a Point [ ^{8 ] ซึ่ง เป็น}หนังสือที่มีมุมมองกว้างๆ เกี่ยวกับคณิตศาสตร์และวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี โดยเขาร่วมเขียนกับClyde Kruskalและรวมถึงผลงานของศาสตราจารย์ท่านอื่นๆ เช่นDavid Eppstein [ ^{9 ] เขา}ยังร่วมก่อตั้งสาขาย่อยของการอนุมานเชิงอุปนัยตามทฤษฎีการเรียกซ้ำที่ชื่อLearning via Queries ^{[ 10 ]}กับCarl Smithเมื่อไม่นานมานี้ เขาได้มีส่วนร่วมกับคณิตศาสตร์เชิงการจัดเรียงมากขึ้น โดยเฉพาะอย่างยิ่งทฤษฎี Ramsey ^{[ 11 ] [ 12 ] [ 13 ]}เขาได้เขียนบทสำรวจ 3 บทเกี่ยวกับสิ่งที่นักทฤษฎีคิดเกี่ยวกับ ปัญหา P เทียบกับ NP : ในปี 2002, 2012 และ 2019 ^{[ 14 ] [ 15 ] [ 16 ]}ในปี 2020 เขาได้เขียนหนังสือMathematical Muffin Morsels: Nobody Wants a Small Pieceร่วมกับ Erik Metz, Jacob Prinz และ Daniel Smolyak ^{[ 17 ]}

Lance Fortnow เริ่มเขียนบล็อกเกี่ยวกับวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีโดยเน้นที่ทฤษฎีความซับซ้อนในปี 2545 ^{[ 18 ]} Gasarch เป็นบล็อกเกอร์รับเชิญบ่อยครั้งจนถึงปี 2550 เมื่อเขากลายเป็นบล็อกเกอร์ร่วมอย่างเป็นทางการ

• หน้าแรกของ Gasarch