เจเรมี กิบบอนส์ ผู้เชี่ยวชาญด้านวิทยาการคอมพิวเตอร์และวิศวกรรมซอฟต์แวร์

เจเรมี กิบบอนส์ (Jeremy Gibbons) เป็นนักวิทยาการคอมพิวเตอร์และศาสตราจารย์ด้านการคำนวณ (Professor of Computing) ประจำมหาวิทยาลัยออกซฟอร์ด โดยมีบทบาทสำคัญในด้านการบริหารวิชาการและการวิจัยในระดับสากล ปัจจุบันเขาดำรงตำแหน่งรองผู้อำนวยการโครงการวิศวกรรมซอฟต์แวร์ (Deputy Director of the Software Engineering Programme) ในภาควิชาวิทยาการคอมพิวเตอร์ รวมถึงเป็นสมาชิกคณะกรรมการบริหาร (Governing Body Fellow) ของวิทยาลัยเคลล็อก (Kellogg College) และโปร-พรอคเตอร์ (Pro-Proctor) ของมหาวิทยาลัยออกซฟอร์ด

ประวัติการศึกษา

ศาสตราจารย์กิบบอนส์สำเร็จการศึกษาระดับปริญญาตรีวิทยาศาสตรบัณฑิต (BSc Hons) สาขาวิทยาการคอมพิวเตอร์ จากมหาวิทยาลัยเอดินบะระ (University of Edinburgh) ในปี ค.ศ. 1983–1987 และสำเร็จการศึกษาระดับปริญญาเอก (DPhil) สาขาการคำนวณ (Computation) จากมหาวิทยาลัยออกซฟอร์ด (University of Oxford) ในปี ค.ศ. 1987–1991

เส้นทางอาชีพทางวิชาการ

ก่อนที่จะดำรงตำแหน่งปัจจุบัน เจเรมี กิบบอนส์ ได้สั่งสมประสบการณ์การสอนและการวิจัยในหลายสถาบัน ดังนี้:

• มหาวิทยาลัยออกแลนด์ (University of Auckland): ดำรงตำแหน่งอาจารย์ด้านวิทยาการคอมพิวเตอร์ (ค.ศ. 1991–1996)
• มหาวิทยาลัยออกซฟอร์ด บรูคส์ (Oxford Brookes University): ดำรงตำแหน่งอาจารย์และอาจารย์อาวุโสด้านการคำนวณ (ค.ศ. 1996–1999)
• มหาวิทยาลัยออกซฟอร์ด (University of Oxford): ดำรงตำแหน่งผู้อ่าน (Reader) ด้านวิศวกรรมซอฟต์แวร์ ก่อนจะก้าวขึ้นสู่ตำแหน่งศาสตราจารย์

ความเชี่ยวชาญและงานวิจัย

งานวิจัยของกิบบอนส์มุ่งเน้นไปที่การพัฒนาโครงสร้างพื้นฐานของซอฟต์แวร์และภาษาโปรแกรม โดยครอบคลุมหัวข้อหลักดังนี้:

• ภาษาและวิธีการเขียนโปรแกรม: การศึกษาด้านการเขียนโปรแกรมเชิงฟังก์ชัน (Functional Programming) และการเขียนโปรแกรมแบบทั่วไป (Generic Programming)
• เทคโนโลยีวัตถุ (Object Technology): การวิเคราะห์และพัฒนาระบบวัตถุ
• การกำหนดคุณลักษณะของโปรแกรม: การอนุพัทธ์และการแปลงโปรแกรม (Program Specification, Derivation and Transformation)

โครงการวิจัยที่สำคัญ

เขามีส่วนร่วมในโครงการวิจัยที่นำวิทยาการคอมพิวเตอร์ไปประยุกต์ใช้ในด้านการแพทย์และชีววิทยา เช่น โครงการ CancerGrid และการพัฒนาระบบเวิร์กโฟลว์สำหรับชีวสารสนเทศศาสตร์ด้านมะเร็ง (Workflow for Cancer Bioinformatics) รวมถึงการวิจัยเรื่องการสร้างส่วนประกอบซอฟต์แวร์โดยอัตโนมัติ (Automatic Generation of Software Components)

ผลงานตีพิมพ์และบทบาทในระดับสากล

ผลงานทางวิชาการของเขามีความหลากหลาย ครอบคลุมตั้งแต่การออกแบบอัลกอริทึมด้วยภาษา Haskell (ร่วมกับ Richard Bird) ไปจนถึงงานด้านชีวสารสนเทศศาสตร์ (Bioinformatics) และวิธีการทางการ (Formal Methods)

นอกจากนี้ เขายังเป็นสมาชิกของสหพันธ์ระหว่างประเทศเพื่อการประมวลผลข้อมูล (International Federation for Information Processing หรือ IFIP) โดยเฉพาะในคณะทำงาน 2.1 (Working Group 2.1) ที่ดูแลด้านภาษาอัลกอริทึมและการคำนวณ ซึ่งเป็นกลุ่มที่กำหนดมาตรฐานและสนับสนุนภาษาโปรแกรม ALGOL 60 และ ALGOL 68 โดยกิบบอนส์ดำรงตำแหน่งประธานคณะทำงานนี้มาตั้งแต่ปี ค.ศ. 2009