โมเช วาย. วาดิ
ลิงก์ข้ามภาษาในบทความนี้ มีไว้ให้ผู้อ่านและผู้ร่วมแก้ไขบทความศึกษาเพิ่มเติมโดยสะดวก เนื่องจากวิกิพีเดียภาษาไทยยังไม่มีบทความดังกล่าว กระนั้น ควรรีบสร้างเป็นบทความโดยเร็วที่สุด |
โมเช ยาโคบ วาดิ (ฮีบรู: משה יעקב ורדי, อังกฤษ: 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]
ศาสตราจารย์ โมเช วาดิ | |
---|---|
เกิด | โมเช ยาโคบ วาดิ 4 กรกฎาคม ค.ศ. 1954 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 |
เขาได้เขียนเอกสารทางเทคนิคกว่า 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.0 1.1 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 0-262-56200-6.
{{cite book}}
: 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 3-540-00428-9.
{{cite book}}
: 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 ที่ เวย์แบ็กแมชชีน
- วิกิมีเดียคอมมอนส์มีสื่อเกี่ยวกับ โมเช ยาโคบ วาดิ