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

มารี-โคลด โกเดล (Marie-Claude Gaudel เกิดปี ค.ศ. 1946) เป็นนักวิทยาการคอมพิวเตอร์ชาวฝรั่งเศสและศาสตราจารย์กิตติคุณ (Professor Emerita) แห่งมหาวิทยาลัยปารีส-ซูด (University of Paris-Sud) เธอมีบทบาทสำคัญในการพัฒนาภาษา PLUSS สำหรับการกำหนดข้อกำหนดซอฟต์แวร์ (Software Specifications) และสร้างผลงานโดดเด่นทั้งในด้านทฤษฎีและประยุกต์ของวิทยาการคอมพิวเตอร์ โดยเฉพาะในเรื่องการทดสอบซอฟต์แวร์

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

มารี-โคลด โกเดล เกิดในปี ค.ศ. 1946 ที่เมืองน็องซี (Nancy) ประเทศฝรั่งเศส ในครอบครัวที่ประกอบด้วยนักวิทยาศาสตร์และนักคณิตศาสตร์ เธอสำเร็จการศึกษาจากมหาวิทยาลัยน็องซี (University of Nancy) โดยได้รับปริญญาโทด้านคณิตศาสตร์และการประยุกต์พื้นฐานในปี ค.ศ. 1968 จากนั้นเธอศึกษาต่อและได้รับปริญญาอีกสามใบจากสถาบันเดิม ได้แก่:

• ประกาศนียบัตรการศึกษาระดับสูง (DEA) สาขาคณิตศาสตร์ ในปี ค.ศ. 1969
• ปริญญาเอกขั้นต้น (Postgraduate Doctorate) สาขาวิทยาการคอมพิวเตอร์ ในปี ค.ศ. 1971
• ปริญญาเอกระดับรัฐ (Doctorate of State) ในปี ค.ศ. 1980

เส้นทางอาชีพและผลงานทางวิชาการ

ในปี ค.ศ. 1973 ขณะที่ยังศึกษาอยู่ที่มหาวิทยาลัยน็องซี โกเดลเริ่มทำงานเป็นนักวิจัยที่สถาบันวิจัยวิทยาการคอมพิวเตอร์และระบบอัตโนมัติแห่งฝรั่งเศส (INRIA) ต่อมาในช่วงปี ค.ศ. 1981 ถึงต้นปี ค.ศ. 1984 เธอได้รับหน้าที่บริหารกลุ่มวิศวกรรมซอฟต์แวร์ที่ศูนย์วิจัยอุตสาหกรรมของ Alcatel-Alsthom ในเมืองมาร์คูสซิส (Marcoussis) ประเทศฝรั่งเศส

ในปี ค.ศ. 1984 เธอเข้าดำรงตำแหน่งศาสตราจารย์ที่มหาวิทยาลัยปารีส-ซูด ณ เมืองออร์เซ (Orsay) โดยมุ่งเน้นการวิจัยด้านการทดสอบซอฟต์แวร์ โดยเฉพาะการทดสอบที่อ้างอิงตามข้อกำหนดแบบทางการ (Formal Specifications)

การพัฒนาภาษาและระบบทดสอบ

ในช่วงทศวรรษ 1980 และ 1990 โกเดลมีส่วนร่วมในการพัฒนาภาษา PLUSS ซึ่งใช้สำหรับการกำหนดข้อกำหนดซอฟต์แวร์ และสภาพแวดล้อมการกำหนดข้อกำหนดที่ชื่อว่า ASSPEGIQUE นอกจากนี้เธอยังพัฒนาทฤษฎีการทดสอบซอฟต์แวร์และการทดสอบแบบทางการ (Formal Testing) เพื่อนำไปประยุกต์ใช้กับปัญหาจริงในภาคอุตสาหกรรม โดยกลุ่มวิจัยของเธอได้พัฒนาระบบ LOFT เพื่อใช้ในการคัดเลือกข้อมูลสำหรับการทดสอบ (Test Data)

โครงการวิจัยในยุคหลัง

ในช่วงทศวรรษ 2000 โกเดลได้ดำเนินโครงการวิจัยหลักสามด้าน ได้แก่:

1. การทดสอบซอฟต์แวร์ที่กำหนดด้วยภาษา Circus ร่วมกับนักวิจัยจากมหาวิทยาลัยยอร์ก (University of York)
2. การวิจัยเกี่ยวกับการตรวจสอบซอฟต์แวร์แบบประมาณการ (Approximate Software Verification)
3. การพัฒนาอัลกอริทึมสำหรับการทดสอบและวิเคราะห์ซอฟต์แวร์แบบสุ่ม (Random Software Testing and Analysis)

แม้จะเกษียณอายุจากมหาวิทยาลัยปารีส-ซูดในเดือนมีนาคม ค.ศ. 2007 แต่เธอยังคงมีบทบาทในแวดวงวิชาการ โดยเป็นกรรมการในคณะกรรมการโครงการของหลายการประชุมวิชาการ และดำรงตำแหน่งประธานในการประชุมด้านการทดสอบแบบทางการหลายครั้ง นอกจากนี้เธอยังเป็นบรรณาธิการวารสาร The Science of Computer Programming และ Formal Aspects of Computing

รางวัลและเกียรติยศ

ตลอดระยะเวลาการทำงาน มารี-โคลด โกเดล ได้รับรางวัลและเกียรติยศระดับสูงมากมาย ดังนี้:

• ปริญญาดุษฎีบัณฑิตกิตติมศักดิ์ (Doctor Honoris Causa) จาก EPFL ประเทศสวิตเซอร์แลนด์ (ค.ศ. 1995)
• เหรียญเงินจากศูนย์วิจัยวิทยาศาสตร์แห่งชาติฝรั่งเศส (CNRS Silver Medal) (ค.ศ. 1996)
• เครื่องราชอิสริยาภรณ์เลฌียงดอเนอร์ (Knight of the Legion of Honour) (ค.ศ. 2011)
• สมาชิกกิตติมศักดิ์ของสมาคมคอมพิวเตอร์แห่งฝรั่งเศส (Société Informatique de France) (ค.ศ. 2013)
• ปริญญาดุษฎีบัณฑิตกิตติมศักดิ์ (Doctor Honoris Causa) จากมหาวิทยาลัยยอร์ก ประเทศอังกฤษ (ค.ศ. 2013)

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

โกเดลได้เขียนและร่วมเขียนบทความวิชาการจำนวนมาก โดยผลงานที่ได้รับการอ้างอิงสูง ได้แก่:

• Bernot, G., Gaudel, M.-C., & Marre, B. (1991). "Software Testing Based on Formal Specifications: A theory and a tool". Software Engineering Journal.
• Gaudel, M.-C. (1995). "Testing can be formal, too". Colloquium on Trees in Algebra and Programming.
• Bougé, L., Choquet, N., Fribourg, L., & Gaudel, M.-C. (1986). "Test sets generation from algebraic specifications using logic programming". Journal of Systems and Software.