利亚·霍夫曼著
美国ACM通讯，2023年3月，第66卷第3期，第100-ff页
10.1145 / 3579652
评论
来源:莱斯大学
当谈到计算机科学时，Moshe Vardi的视野很大。他因在形式化方法和计算复杂性方面的贡献而闻名，他也因其在ACM中的角色而闻名，特别是在这本出版物中。瓦尔迪接任主编ACM通信在2008年。虽然他在2017年卸任成为高级编辑，但他仍定期发表从企业道德到研究生教育等主题的文章。在这里，他谈到了社会经济学、社交媒体以及计算对社会的影响。
您的职业生涯一直专注于自动推理和逻辑，但近年来，您似乎也同样积极地研究技术的社会影响。
没有找到条目
登录阅读全文
需要访问吗?
请选择以下其中一个选项以访问优质内容和功能。
创建一个网络帐户
如果您已经是ACM会员，通信订阅用户，或数码图书馆订阅用户，请设立网上帐户，以便阅览本网站的优质内容。
加入ACM
成为ACM会员可以充分利用ACM卓越的计算信息资源、网络机会和其他优势。
订阅ACM杂志通讯
获得完全访问超过50年的CACM内容，并每月收到印刷版杂志。
购买物品
非会员可以购买这篇文章或它出现的杂志的副本。
