โมเช ยาโคบ วาดิ (ฮีบรู: משה יעקב ורדי, อังกฤษ: Moshe Ya'akov Vardi; เกิด 4 กรกฎาคม ค.ศ. 1954) เป็นนักวิทยาการคอมพิวเตอร์เชื้อสายยิว ปัจจุบันเขาเป็นศาสตราจารย์สอนอยู่ที่ Rice University ประเทศสหรัฐอเมริกา[2] และเป็นผู้อำนวยการสถาบันเทคโนโลยีสารสนเทศเคนเคนเนดี (Ken Kennedy Institute for Information Technology) ความสนใจของเขามุ่งเน้นไปที่การใช้งานของตรรกะทางวิทยาศาสตร์คอมพิวเตอร์ รวมถึงทฤษฎีฐานข้อมูล โมเดลทฤษฎีแบบมีขอบเขต (finite-model theory) รูปแบบความรู้ในระบบหลายตัวแทน (multi-agent systems) การตรวจสอบคอมพิวเตอร์ช่วยและการให้เหตุผล และตรรกะการเรียนการสอนในหลักสูตร ดังนั้นเขาจึงเป็นผู้เชี่ยวชาญที่มีชื่อเสียงในการตรวจสอบโมเดล (model checking) ความพึงพอใจที่มีข้อจำกัดและทฤษฎีฐานข้อมูล (constraint satisfaction and database theory) ตรรกะ (logic) และทฤษฎีทางวิทยาการคอมพิวเตอร์ (theoretical computer science)[3][4]

ศาสตราจารย์ โมเช วาดิ
เกิดโมเช ยาโคบ วาดิ
(1954-07-04) 4 กรกฎาคม ค.ศ. 1954 (70 ปี)
Haifa
ศิษย์เก่าBar-Ilan University
Weizmann Institute of Science
Hebrew University
อาชีพทางวิทยาศาสตร์
สถาบันที่ทำงานRice University
IBM Almaden Research Center
Stanford University
วิทยานิพนธ์The Implication Problem for Data Dependencies in the Relational Model[1] (1981)
อาจารย์ที่ปรึกษาในระดับปริญญาเอกCatriel Beeri[1]
เว็บไซต์www.cs.rice.edu/~vardi

เขาได้เขียนเอกสารทางเทคนิคกว่า 400 ชุดเช่นเดียวกับบรรณาธิการคนอื่นๆ อีกด้วย[5][6][7] โดยเขาเขียนหนังสือให้เหตุผลเกี่ยวกับความรู้ร่วมกับ Ronald Fagin, Joseph Halpern และ Yoram Moses[8] และในหนังสือชื่อ Finite Model Theory and Its Applications ร่วมกับ Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema และ Scott Weinstein[9] นอกจากนี้เขายังเป็นบรรณาธิการหัวหน้าด้านการสื่อสารของนิตยสาร ACM (Association for Computing Machinery) อีกด้วย[10]

อ้างอิง

แก้
  1. 1.0 1.1 Moshe Y. Vardi at Mathematics Genealogy Project
  2. Moshe Y. Vardi from Rice University. Retrieved 2012-06-20.
  3. Moshe Y. Vardi from the ACM Portal
  4. Winslett, M. (2006). "Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof". ACM SIGMOD Record 35: 56.
  5. List of publications เก็บถาวร 2014-10-17 ที่ เวย์แบ็กแมชชีน from the DBLP Bibliography Server
  6. List of publications[ลิงก์เสีย] from Microsoft Academic Search
  7. List of publications from Google Scholar
  8. Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Reasoning About Knowledge. Cambridge, Mass: The MIT Press. ISBN 0-262-56200-6.{{cite book}}: CS1 maint: multiple names: authors list (ลิงก์)
  9. Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde (2007). Finite model theory and its applications. Berlin: Springer. ISBN 3-540-00428-9.{{cite book}}: CS1 maint: multiple names: authors list (ลิงก์)
  10. Vardi, M. Y. (2012). "Artificial intelligence: Past and future". Communications of the ACM 55: 5.

แหล่งข้อมูลอื่น

แก้