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

โมเช ยาโคบ วาดิ (, ; เกิด 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)

เขาได้เขียนเอกสารทางเทคนิคกว่า 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) อีกด้วย

อ้างอิง

แหล่งข้อมูลอื่น 
 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
 

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