แมรี เค. เวอร์นอน ผู้เชี่ยวชาญด้านสถาปัตยกรรมคอมพิวเตอร์สมรรถนะสูง

แมรี แคทเธอรีน เวอร์นอน (Mary Katherine Vernon) เกิดเมื่อปี ค.ศ. 1953 เป็นนักวิทยาการคอมพิวเตอร์ชาวอเมริกัน ปัจจุบันดำรงตำแหน่งศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์และวิศวกรรมอุตสาหการที่มหาวิทยาลัยวิสคอนซิน-แมดิสัน (University of Wisconsin–Madison) โดยมีความเชี่ยวชาญและมุ่งเน้นการวิจัยในด้านสถาปัตยกรรมคอมพิวเตอร์สมรรถนะสูง (High-performance computer architecture) และสื่อสตรีมมิ่ง (Streaming media)

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

เวอร์นอนสำเร็จการศึกษาระดับปริญญาตรีสาขาเคมี จากมหาวิทยาลัยแคลิฟอร์เนีย ลอสแอนเจลิส (UCLA) ในปี ค.ศ. 1975 และต่อมาได้ศึกษาต่อจนสำเร็จการศึกษาระดับปริญญาเอก (Ph.D.) ในสาขาวิทยาการคอมพิวเตอร์จากสถาบันเดิมในปี ค.ศ. 1983 โดยมี เจอรัลด์ เอสตริน (Gerald Estrin) เป็นอาจารย์ที่ปรึกษา

รางวัลและความสำเร็จทางวิชาการ

ด้วยผลงานการวิจัยที่โดดเด่น เวอร์นอนได้รับการยอมรับในระดับสากลผ่านรางวัลและตำแหน่งเกียรติยศต่างๆ ดังนี้:

• ACM Fellow (1996): ได้รับการแต่งตั้งเป็น Fellow ของสมาคมสำหรับเครื่องจักรคำนวณ (Association for Computing Machinery หรือ ACM) ในปี ค.ศ. 1996 จากการสร้างคุณูปการพื้นฐานในการวิเคราะห์สมรรถนะของสถาปัตยกรรมคอมพิวเตอร์แบบขนาน และความเป็นผู้นำในชุมชนการวิจัยด้านการคำนวณ
• ACM SIGMETRICS Achievement Award (2019): ได้รับรางวัลความสำเร็จจาก ACM SIGMETRICS ในปี ค.ศ. 2019 สำหรับผลงานด้านเทคนิคการสร้างแบบจำลองสมรรถนะเชิงวิเคราะห์ และการออกแบบเชิงวิเคราะห์สำหรับสถาปัตยกรรมระบบคอมพิวเตอร์และการสื่อสารที่มีผลกระทบในวงกว้าง

ผลงานตีพิมพ์ที่สำคัญ

เวอร์นอนมีผลงานวิจัยจำนวนมากที่ส่งผลต่อการพัฒนาสถาปัตยกรรมคอมพิวเตอร์ ตัวอย่างผลงานที่สำคัญ ได้แก่:

• การพัฒนาแบบจำลอง Timed Petri net แบบทั่วไปเพื่อใช้ในการวิเคราะห์สมรรถนะ (ค.ศ. 1987)
• การวิจัยเกี่ยวกับกลไกการประสานงาน (Synchronization primitives) ที่มีประสิทธิภาพสำหรับมัลติโปรเซสเซอร์ขนาดใหญ่ที่มีแคชสอดคล้องกัน (Cache-coherent multiprocessors) (ค.ศ. 1989)
• การวิเคราะห์อัลกอริทึมการจัดตารางเวลาของมัลติโปรเซสเซอร์แบบมัลติโปรแกรม (ค.ศ. 1990)
• การวิเคราะห์ภาระงานของเซิร์ฟเวอร์สื่อเพื่อการศึกษา (Educational media server workloads) (ค.ศ. 2001)