Moshe Ya'akov Vardi ( Hebrew : משה יעקב ורדי ) MAE ForMemRS is an Israeli theoretical computer scientist . He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University , United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science, including database theory , finite model theory , knowledge of multi-agent systems , computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking , constraint satisfaction and database theory , common knowledge (logic) , and theoretical computer science .
23-609: Kinor David (lit: "David's Harp") is an annual Israeli cultural award. The Israeli newspaper Yedioth Ahronoth presented the Kinor David Award from 1964 to 1986 for outstanding achievement in entertainment, theatre, film, music, and broadcasting. Awards were presented for the following categories: In 1994, Yedioth Aharonoth established a similar award, "Golden Screen". Yedioth Ahronoth Yediot Achronot ( Hebrew : יְדִיעוֹת אַחֲרוֹנוֹת , pronounced [jediˈ(ʔ)ot aχ(a)ʁoˈnot] ; lit. "Latest News")
46-497: A TGI survey indicated that Israel Hayom , distributed for free, is Israel's most read newspaper, with a 29.4% weekday readership exposure, followed by Yedioth Ahronoth , with 22.3%, Haaretz with 4.8%, Globes with 4% and Maariv with 3.9%. In 2006, Yedioth Ahronoth was the most widely-read newspaper among both native Hebrew and Arabic speakers. According to one author, its marketing strategy emphasizes "drama and human interest over sophisticated analysis." In 2003,
69-435: A commercial television channel; " Hot ", the national cable TV company; "Yedioth Tikshoret", a group of weekly local newspapers; Vesti , a Russian language newspaper; magazines, such as the weekly TV guide magazine Pnai Plus and weekly women's magazine La'Isha ; and other non-media companies. Yedioth Ahronoth has its own publishing house called "Yedioth Sfarim" (Hebrew ידיעות ספרים ). As of July 31, 2023,
92-470: A potential deal in which the newspaper would provide better coverage of Netanyahu in exchange for the government limiting the circulation of competitor Israel Hayom . This led to the opening of " Case 2000 " corruption investigation against Netanyahu. The newspaper is owned by the Yedioth Ahronoth Group, which also owns shares in several Israeli mass media companies, such as " Channel 2 ",
115-824: Is a Guggenheim Fellow , ACM Fellow , AAAI Fellow , Fellow of the American Association for the Advancement of Science and a Foreign Member of the Royal Society (ForMemRS). He was designated a highly cited researcher by the Institute for Scientific Information , and was elected as a member of the US National Academy of Engineering , the National Academy of Sciences . the European Academy of Sciences, and
138-587: Is an Israeli daily newspaper published in Tel Aviv . Founded in 1939, when Tel Aviv was part of Mandatory Palestine , Yedioth Ahronoth is Israel's largest paid newspaper by sales and circulation and has been described as "undoubtedly the country's number-one paper." It is published in the tabloid format. It is known as centrist, compared to the left-leaning Ha'aretz and right-leaning, distributed-for-free Israel Hayom newspapers in Israel. Yedioth Ahronoth
161-557: Is considered the most prominent journalist of his era and his and his associates' departure from Yedioth is commonly known in Israeli media history as "The Putsch ", or the coup. This began an ongoing battle for circulation and prestige between the rival newspapers, which peaked during the 1990s when both papers were discovered to have bugged one another's phones. In the first decades following Carlebach's departure, Maariv ' s circulation greatly outnumbered Yedioth ' s although over
184-686: The Paris Kanellakis Award in 2005, and a co-winner of the LICS 2006 Test-of-Time Award. He is also the recipient of the 2008 and 2017 ACM Presidential Award, the 2008 Blaise Pascal Medal in computational science by the European Academy of Sciences, the 2010 Distinguished Service Award from the Computing Research Association, the Institute of Electrical and Electronics Engineers (IEEE) Computer Society's 2011 Harry H. Goode Memorial Award ,
207-626: The Weizmann Institute of Science . His PhD was supervised by Catriel Beeri and awarded by the Hebrew University of Jerusalem in 1981. Vardi's research interests are in logic and computation . He served as chair of the computer science department at Rice University from January 1994 until June 2002. Prior to joining Rice in 1993, he worked at IBM Research and was also a postdoctoral researcher at Stanford University . Vardi serves as an editor of several international journals and
230-719: The 2018 ACM Special Interest Group for Logic and Computation (SIGLOG), the Distinguished Services Award from the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS) jointly sponsored Alonzo Church Award for Outstanding Contributions to Logic and Computation (with Tomas Feder). Vardi also holds honorary doctorates from eight Universities: Vardi
253-529: The books Reasoning About Knowledge with Ronald Fagin , Joseph Halpern , and Yoram Moses , and Finite Model Theory and Its Applications with Erich Grädel, Phokion G. Kolaitis , Leonid Libkin , Maarten Marx, Joel Spencer , Yde Venema, and Scott Weinstein. He is senior editor of Communications of the ACM , after serving as its editor-in-chief for a decade. Vardi was an undergraduate student at Bar-Ilan University and received his Master of Science degree from
SECTION 10
#1732858256279276-519: The co-founder of Aswat , an organization supporting lesbian Palestinian women, was outed by the Yedioth Ahronoth after agreeing to an interview, despite asking for her sexual orientation not be included in the article, which led to significant personal backlash. Haaretz wrote in 2021 that Yedioth Ahronoth publisher Arnon Mozes "held three series of meetings in which they discussed advancing their interests: Netanyahu sought favorable coverage in
299-530: The family of casino mogul Sheldon Adelson , was launched. By July 2010, Israel Hayom had overtaken Yedioth Ahronoth as the most read newspaper in terms of exposure with a rate of 35.2% compared to Yedioth 's 34.9%. De-Beer was replaced as editor by Ron Yaron in 2011. As of 2017, the paper is headed by Noah Mozes's son, Arnon Mozes. In January 2017, secret recordings were released of conversations between Prime Minister Benjamin Netanyahu and Mozes discussing
322-491: The paper chooses to play down events that do not help to promote a positive image for her, while on the other hand, touting and inflating events that help promote Livni and her party. Oren Frisco reached a similar conclusion after the 2009 Knesset elections, writing that throughout the campaign, Yediot Ahronoth was biased against Netanyahu. Moshe Vardi Vardi has authored or co-authored over 700 technical papers as well as editing several collections. He has authored
345-422: The paper, with Noah as the first managing editor. In 1948, a large group of journalists and staff members led by chief editor Ezriel Carlebach left to form Yedioth Maariv, shortly later known as Maariv . According to Carlebach and his associates, their reason for leaving Yedioth Ahronoth was Mozes' interference in their editorial decisions. He was replaced as chief editor by Herzl Rosenblum . Carelbach
368-486: The publications of the Yedioth Ahronoth group, while Mozes sought to restrict a competing newspaper – Yisrael Hayom , a free daily owned by the Jewish-American businessman and political donor Sheldon Adelson". The paper describes itself as the "nation's newspaper" and generally offers editorial space to views across the Israeli political spectrum. The Forward has described Yedioth Ahronoth as centrist compared to
391-540: The readers of Yediot Ahronot , a situation that required Yediot Ahronot to react in order to maintain its readers and market position. Yediot editor Moshe Vardi , together with Noni Mozes , led the transition of the newspaper to printing in color. Zeev Galili , appointed head of reporters, recruited a series of freelance reporters from other newspapers, and worked to improve the newspaper's ability to obtain scoops. The changes in Yediot Ahronot paid off, and Hadashot
414-469: The right-leaning Ma'ariv and left-leaning Ha'aretz . Yedioth Ahronoth has been described as generally critical of Benjamin Netanyahu . A study conducted by Moran Rada with the Israeli Democracy Institute showed that Yedioth ' s coverage of the 2009 Israeli legislative election was biased in favor of Kadima and its leader Tzipi Livni in most editorial decisions, and that
437-495: The title of chief editor between 1948 and 1986, his duties only extended to writing the paper's leading editorial article while Yudkovski acted as chief editor in practice. On March 4, 1984, a new competitor to Yediot Ahronoth was established, the Hadashot newspaper founded by Amos Schocken . Hadashot featured a large color headline and color pages, and used more innovative and less formal language. Its main target audience were
460-515: The years Yedioth ' s readership grew steadily and by the early 1980s its circulation eclipsed Maariv ' s and made it the country's largest newspaper. This success was in large part thanks to the efforts of Dov Yudkovski , a distant cousin of Mozes and Holocaust survivor who joined Yedioth following "the Putsch" in 1948, serving as editorial manager between 1953 and 1986, and chief editor between 1986 and 1989. Although officially Rosenblum held
483-578: Was established in 1939 by an investor named Gershom Komarov [ he ] . It was the first evening paper in Mandatory Palestine , and attempted to emulate the format of the London Evening Standard . Running into financial difficulties, Komarov sold the paper to Yehuda Mozes [ he ] , a wealthy land dealer who regarded the paper as an interesting hobby and a long-term financial investment. His sons Reuben and Noah ran
SECTION 20
#1732858256279506-610: Was forced to close after nine years of activity, after heavy losses for the Schocken family. For his achievements, Yudkovski was awarded the Sokolov Prize for Journalism in 2000 and the 2002 Israel Prize in Communications. Moshi Vardi was replaced as editor in 2005 by Rafi Ginat. Shilo De-Beer was promoted to editor in April 2007. In 2007, Israel Hayom , a free newspaper owned by
529-576: Was formerly a director of the International Federation of Computational Logic Ltd. He has also co-chaired the Association for Computing Machinery (ACM) task force on job migration . Vardi is the recipient of three IBM Outstanding Innovation Awards, a co-winner of the 2000 Gödel Prize (for work on temporal logic with finite automata ), winner of the Knuth Prize in 2021, a co-winner of
#278721