fbpx
วิกิพีเดีย

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

โมเช ยาโคบ วาดิ (ฮีบรู: משה יעקב ורדי‎, อังกฤษ: 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)

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

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

อ้างอิง

  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 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.CS1 maint: multiple names: authors list (link)
  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.CS1 maint: multiple names: authors list (link)
  10. 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
  •   วิกิมีเดียคอมมอนส์มีสื่อเกี่ยวกับ โมเช ยาโคบ วาดิ

โมเช, วาย, วาด, งก, ามภาษา, ในบทความน, ไว, ให, านและผ, วมแก, ไขบทความศ, กษาเพ, มเต, มโดยสะดวก, เน, องจากว, เด, ยภาษาไทยย, งไม, บทความด, งกล, าว, กระน, ควรร, บสร, างเป, นบทความโดยเร, วท, ดโมเช, ยาโคบ, วาด, บร, משה, יעקב, ורדי, งกฤษ, moshe, akov, vardi, เก, กรกฎ. lingkkhamphasa inbthkhwamni miiwihphuxanaelaphurwmaekikhbthkhwamsuksaephimetimodysadwk enuxngcakwikiphiediyphasaithyyngimmibthkhwamdngklaw krann khwrribsrangepnbthkhwamodyerwthisudomech yaokhb wadi hibru משה יעקב ורדי xngkvs Moshe Ya akov Vardi ekid 4 krkdakhm kh s 1954 epnnkwithyakarkhxmphiwetxrechuxsayyiw pccubnekhaepnsastracarysxnxyuthi Rice University praethsshrthxemrika 2 aelaepnphuxanwykarsthabnethkhonolyisarsnethsekhnekhnendi Ken Kennedy Institute for Information Technology khwamsnickhxngekhamungennipthikarichngankhxngtrrkathangwithyasastrkhxmphiwetxr rwmthungthvsdithankhxmul omedlthvsdiaebbmikhxbekht finite model theory rupaebbkhwamruinrabbhlaytwaethn multi agent systems kartrwcsxbkhxmphiwetxrchwyaelakarihehtuphl aelatrrkakareriynkarsxninhlksutr dngnnekhacungepnphuechiywchaythimichuxesiynginkartrwcsxbomedl model checking khwamphungphxicthimikhxcakdaelathvsdithankhxmul constraint satisfaction and database theory trrka logic aelathvsdithangwithyakarkhxmphiwetxr theoretical computer science 3 4 sastracary omech wadiekidomech yaokhb wadi 4 krkdakhm kh s 1954 67 pi HaifasisyekaBar Ilan UniversityWeizmann Institute of ScienceHebrew Universityewbistwww wbr cs wbr rice wbr edu wbr vardixachiphthangwithyasastrsthabnthithanganRice UniversityIBM Almaden Research CenterStanford UniversityThesisThe Implication Problem for Data Dependencies in the Relational Model 1 1981 xacarythipruksainradbpriyyaexkCatriel Beeri 1 ekhaidekhiynexksarthangethkhnikhkwa 400 chudechnediywkbbrrnathikarkhnxun xikdwy 5 6 7 odyekhaekhiynhnngsuxihehtuphlekiywkbkhwamrurwmkb Ronald Fagin Joseph Halpern aela Yoram Moses 8 aelainhnngsuxchux Finite Model Theory and Its Applications rwmkb Erich Gradel Phokion G Kolaitis Leonid Libkin Maarten Marx Joel Spencer Yde Venema aela Scott Weinstein 9 nxkcakniekhayngepnbrrnathikarhwhnadankarsuxsarkhxngnitysar ACM Association for Computing Machinery xikdwy 10 xangxing aekikh 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 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 CS1 maint multiple names authors list link 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 CS1 maint multiple names authors list link Vardi M Y 2012 Artificial intelligence Past and future Communications of the ACM 55 5 aehlngkhxmulxun aekikhRice 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 wikimiediykhxmmxnsmisuxekiywkb omech yaokhb wadiekhathungcak https th wikipedia org w index php title omech way wadi amp oldid 7709207, wikipedia, วิกิ หนังสือ, หนังสือ, ห้องสมุด,

บทความ

, อ่าน, ดาวน์โหลด, ฟรี, ดาวน์โหลดฟรี, mp3, วิดีโอ, mp4, 3gp, jpg, jpeg, gif, png, รูปภาพ, เพลง, เพลง, หนัง, หนังสือ, เกม, เกม