Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications
Chuchu Fan
More Info
Rendering History: The Women of ACM-W
Gloria Childress Townsend
More Info
Pick, Click, Flick!: The Story of Interaction Techniques
Brad A. Myers
More Info
Digital Dreams Have Become Nightmares: What We Must Do
Ronald M. Baecker and Jonathan Grudin
More Info
Spatial Gems, Volume 2
John Krumm, Andreas Züfle, and Cyrus Shahabi
More Info
WHY
ACM BOOKS?
MEET THE BOARD
-
Sanjiva Prasad
Indian Institute of Technology (IIT) Delhi -
Marta Kwiatkowska
Trinity College, University of Oxford, UK -
Bashar Nuseibeh
The Open University, UKSoftware Engineering
-
Michel Beaudouin-Lafon
Université Paris-SudHuman-Centered Computing
-
Thomas J. Misa
University of MinnesotaHistory of Computing
-
Mohamed F. Mokbel
University of MinnesotaSpatial and Geographic Information Systems
-
Limsoon Wong
National University of SingaporeBioinformatics
-
Lawrence Rauchwerger
University of Illinois at Urbana-ChampaignParallel Computing
-
Y. Annie Liu
Stony Brook UniversityProgramming Languages
-
Charles Clarke
University of WaterlooInformation Retrieval & Digital Libraries
-
M. Tamer Özsu (Founding Editor - 2013-2019)
University of Waterloo -
Jiliang Tang
Michigan State UniversityArtificial Intelligence
-
Gilles Barthe
IMDEA Software Institute -
Suhang Wang
Penn State University - University Park -
Dinesh Manocha
University of Maryland at College Park -
Rajesh K. Gupta
UC San DiegoArchitecture and Embedded Systems
-
Meena Mahajan
The Institute of Mathematical SciencesComputational Complexity
-
Véronique Cortier
Security & Privacy
-
Tobias Nipkow
Technical University of Munich, GermanyProgramming Languages
-
Jayant Haritsa
Indian Institute of Science, BangaloreDatabases
-
Seffi Naor
Hebrew University of Jerusalem