Jump to content

Moshe Vardi (Q1585964)

From Wikidata
American computer scientist
  • Moshe Ya'akov Vardi
  • Moshe Y. Vardi
  • Moshe Y Vardi
edit
Language Label Description Also known as
default for all languages
No label defined
    English
    Moshe Vardi
    American computer scientist
    • Moshe Ya'akov Vardi
    • Moshe Y. Vardi
    • Moshe Y Vardi

    Statements

    image
    Moshe Vardi.jpg
    2,720 × 4,080; 5.7 MB
    point in time
    27 October 2011
    0 references
    member of
    European Academy of Sciences
    start time
    2003
    1 reference
    reference URL
    https://www.eurasc.eu/members/vardics-rice-edu/member/
    publication date
    13 April 2022
    title
    Members - European Academy of Sciences (English)
    retrieved
    9 May 2025
    award received
    Paris Kanellakis Award
    point in time
    2005
    award rationale
    For the development of automata-theoretic techniques for reactive-systems verification, and the practical realization of powerful formal-verification tools based on these techniques. (English)
    1 reference
    reference URL
    https://www.cs.rice.edu/~vardi/kanellakis.html
    retrieved
    24 December 2022
    AAAI Fellow
    point in time
    2004
    award rationale
    For significant contributions to the development of automated-reasoning techniques and to the development of logic as a unifying foundational framework and a tool for modeling computational systems. (English)
    1 reference
    reference URL
    https://aaai.org/about-aaai/aaai-awards/the-aaai-fellows-program/elected-aaai-fellows/
    retrieved
    22 June 2024
    ACM Fellow
    point in time
    2000
    award rationale
    For contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems. (English)
    1 reference
    reference URL
    https://awards.acm.org/award-recipients/vardi_9543503
    Fellow of the American Mathematical Society
    point in time
    2019
    announcement date
    1 November 2018
    award rationale
    For contributions to the development and use of mathematical logic in computer science. (English)
    2 references
    reference URL
    http://www.ams.org/fellows_by_year.cgi?year=2019
    retrieved
    24 November 2022
    reference URL
    http://www.ams.org/news?news_id=4678
    retrieved
    24 November 2022
    Fellow of the Society for Industrial and Applied Mathematics
    point in time
    2015
    subject named as
    Moshe Y. Vardi
    award rationale
    For contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems. (English)
    1 reference
    reference URL
    https://www.siam.org/prizes-recognition/fellows-program/all-siam-fellows?page=3
    retrieved
    17 July 2021
    Erdős number
    3
    0 references
    social media followers
    7,983
    X (Twitter) numeric user ID
    14538236
    point in time
    2 January 2021
    0 references
    7,155
    X (Twitter) numeric user ID
    14538236
    point in time
    1 May 2020
    0 references
    10,940
    X (Twitter) numeric user ID
    14538236
    point in time
    1 March 2022
    0 references
    12,469
    X (Twitter) numeric user ID
    14538236
    point in time
    7 February 2023
    0 references
    991
    Mastodon address
    vardi@fediscience.org
    point in time
    12 February 2024
    0 references
    994
    Mastodon address
    vardi@fediscience.org
    point in time
    16 March 2024
    11 April 2024
    0 references
    Commons category
    Moshe Vardi
    0 references

    Identifiers

    Academic Tree ID
    459702
    0 references
    KBR person ID
    14295737
    0 references
    Prabook ID
    538268
    0 references
    UOM ID
    29290
    0 references
     
    edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q1585964&oldid=2494087916"