Dr. Dale A Miller
ACM Fellows
France - 2021
citation
For contributions to proof theory and computational logic
Press ReleaseACM Names 71 Fellows for Computing Advances that are Driving Innovation
ACM, the Association for Computing Machinery, has named 71 members ACM Fellows for wide-ranging and fundamental contributions in areas including algorithms, computer science education, cryptography, data security and privacy, medical informatics, and mobile and networked systems ─ among many other areas. The accomplishments of the 2021 ACM Fellows underpin important innovations that shape the technologies we use every day.
The ACM Fellows program recognizes the top 1% of ACM Members for their outstanding accomplishments in computing and information technology and/or outstanding service to ACM and the larger computing community. Fellows are nominated by their peers, with nominations reviewed by a distinguished selection committee.
“Computing professionals have brought about leapfrog advances in how we live, work, and play,” said ACM President Gabriele Kotsis. “New technologies are the result of skillfully combining the individual contributions of numerous men and women, often building upon diverse contributions that have emerged over decades. But technological progress would not be possible without the essential building blocks of individual contributors. The ACM Fellows program honors the creativity and hard work of ACM members whose specific accomplishments make broader advances possible. In announcing a new class of Fellows each year, we celebrate the impact ACM Fellows make, as well as the many technical areas of computing in which they work.”
In keeping with ACM’s global reach, the 2021 Fellows represent universities, corporations, and research centers in Belgium, Canada, China, France, Germany, India, Israel, Italy, and the United States.
The contributions of the 2021 Fellows run the gamut of the computing field―including cloud database systems, deep learning acceleration, high performance computing, robotics, and theoretical computer science ─ to name a few.
Additional information about the 2021 ACM Fellows, as well as previously named ACM Fellows, is available through the ACM Fellows site.