ล งก ข ามภาษา ในบทความน ม ไว ให ผ อ านและผ ร วมแก ไขบทความศ กษาเพ มเต มโดยสะดวก เน องจากว ก พ เด ยภาษาไทยย งไม ม บทความด

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

ศาสตราจารย์ โมเช วาดิ

เกิด	โมเช ยาโคบ วาดิ (1954-07-04) 4 กรกฎาคม ค.ศ. 1954 (69 ปี) Haifa
ศิษย์เก่า
อาชีพทางวิทยาศาสตร์
สถาบันที่ทำงาน	Rice University Stanford University
วิทยานิพนธ์	The Implication Problem for Data Dependencies in the Relational Model (1981)
อาจารย์ที่ปรึกษาในระดับปริญญาเอก	Catriel Beeri

เว็บไซต์	www.cs.rice.edu/~vardi

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

อ้างอิง

Moshe Y. Vardi at Mathematics Genealogy Project
Moshe Y. Vardi from Rice University. Retrieved 2012-06-20.
Moshe Y. Vardi from the ACM Portal
Winslett, M. (2006). "Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof". ACM SIGMOD Record 35: 56.
List of publications 2014-10-17 ที่ เวย์แบ็กแมชชีน from the DBLP Bibliography Server
List of publications^[] from Microsoft Academic Search
List of publications from Google Scholar
Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Reasoning About Knowledge. Cambridge, Mass: The MIT Press. ISBN .{{}}: CS1 maint: multiple names: authors list ()
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 .{{}}: CS1 maint: multiple names: authors list ()
Vardi, M. Y. (2012). "Artificial intelligence: Past and future". Communications of the ACM 55: 5.

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

Rice's Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences 2019-02-03 ที่ เวย์แบ็กแมชชีน
Jade Boyd, "Rice’s Moshe Vardi honored as Distinguished Service Professor", (July 22, 2011), Rice University News 2014-03-06 ที่ เวย์แบ็กแมชชีน
วิกิมีเดียคอมมอนส์มีสื่อเกี่ยวกับ โมเช ยาโคบ วาดิ

[genealogy-1] Moshe Y. Vardi at Mathematics Genealogy Project

[vardihomepage-2] Moshe Y. Vardi from Rice University. Retrieved 2012-06-20.

[acm-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

[rak-8] Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Reasoning About Knowledge. Cambridge, Mass: The MIT Press. ISBN .{{}}: CS1 maint: multiple names: authors list ()

[fmtaia-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 .{{}}: CS1 maint: multiple names: authors list ()

[10] Vardi, M. Y. (2012). "Artificial intelligence: Past and future". Communications of the ACM 55: 5.