โมเช วาย. วาดิ

โมเช ยาโคบ วาดิ (, ; เกิด 4 กรกฎาคม ค.ศ. 1954) เป็นนักวิทยาการคอมพิวเตอร์เชื้อสายยิว ปัจจุบันเขาเป็นศาสตราจารย์สอนอยู่ที่ Rice University ประเทศสหรัฐอเมริกาMoshe Y. Vardi from Rice University. Retrieved 2012-06-20. และเป็นผู้อำนวยการสถาบันเทคโนโลยีสารสนเทศเคนเคนเนดี (Ken Kennedy Institute for Information Technology) ความสนใจของเขามุ่งเน้นไปที่การใช้งานของตรรกะทางวิทยาศาสตร์คอมพิวเตอร์ รวมถึงทฤษฎีฐานข้อมูล โมเดลทฤษฎีแบบมีขอบเขต (finite-model theory) รูปแบบความรู้ในระบบหลายตัวแทน (multi-agent systems) การตรวจสอบคอมพิวเตอร์ช่วยและการให้เหตุผล และตรรกะการเรียนการสอนในหลักสูตร ดังนั้นเขาจึงเป็นผู้เชี่ยวชาญที่มีชื่อเสียงในการตรวจสอบโมเดล (model checking) ความพึงพอใจที่มีข้อจำกัดและทฤษฎีฐานข้อมูล (constraint satisfaction and database theory) ตรรกะ (logic) และทฤษฎีทางวิทยาการคอมพิวเตอร์ (theoretical computer science)Moshe Y. Vardi from the ACM PortalWinslett, M. (2006). "Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof". ACM SIGMOD Record 35: 56.

เขาได้เขียนเอกสารทางเทคนิคกว่า 400 ชุดเช่นเดียวกับบรรณาธิการคนอื่นๆ อีกด้วยList of publications  from the DBLP Bibliography ServerList of publications from Microsoft Academic SearchList of publications from Google Scholar โดยเขาเขียนหนังสือให้เหตุผลเกี่ยวกับความรู้ร่วมกับ 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) อีกด้วย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 
 Jade Boyd, "Rice’s Moshe Vardi honored as Distinguished Service Professor", (July 22, 2011), Rice University News


หมวดหมู่:วิทยาการคอมพิวเตอร์
หมวดหมู่:บุคคลในวงการคอมพิวเตอร์
หมวดหมู่:บุคคลเชื้อสายยิว
หมวดหมู่:บุคคลจากมหาวิทยาลัยสแตนฟอร์ด
หมวดหมู่:บุคคลจากมหาวิทยาลัยไรซ์
หมวดหมู่:บุคคลจากไฮฟา