Manuel V Hermenegildo

Digital Library

ACM Fellows

Spain - 2022

citation

For contributions to program analysis, verification, parallelism, logic programming, and the IMDEA Software Institute

Press Release