IMDEA Software

IMDEA initiative

Home > News > 2023 > Manuel Hermenegildo has been elected ACM fellow

January 19, 2023

Manuel Hermenegildo has been elected ACM fellow


ACM, the Association for Computing Machinery, has named 57 of its members ACM Fellows -a list, which includes Manuel Hermenegildo-, for wide-ranging and fundamental contributions in a large number of areas within Computer Science.

ACM is the world’s largest educational and scientific computing society, uniting educators, researchers, and professionals to inspire dialogue, share resources, and address the field’s challenges.

The ACM Fellows program, initiated in 1993 among leaders in the field of Computer Science, 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.

In keeping with ACM’s global reach, the 2022 Fellows represent universities, corporations, and research centers in Canada, Chile, China, France, Germany, Israel, the Netherlands, Spain, Switzerland, and the United States.

Manuel Hermenegilgo, Distinguished Professor of the IMDEA Software Institute, has been elected for his contributions to program analysis, verification, parallelism, logic programming, and to the IMDEA Software Institute.

2022 ACM Fellows