The ACM Fellows program was established in 1993 to recognize and honor outstanding ACM members for their achievements in computer science and information technology.
"A scalable static analysis framework for reliable program development exploiting incrementality and modularity" is the title of his thesis, directed by professors Manuel Hermenegildo and José Francisco Morales.