Wil van der Aalst - business process management, process mining, Petri nets Hal Abelson - intersection of computing and teaching Serge Abiteboul - database theory Samson Abramsky - game semantics Leonard Adleman - RSA, DNA computing Manindra Agrawal - polynomial-time primality testing Luis von Ahn - human-based computation Alfred Aho - compilers book, the 'a' in AWK Amos Nuwasiima - PHP Programming book Frances E. Allen - compiler optimization Alexander Scaranti - Image Processing, Image Retrieval Gene Amdahl - supercomputer developer, founder of Amdahl Corporation Tom Anderson[disambiguation needed] - dependability, fault-tolerant computing A. Annerl - multidimensional processing, computational complexity theory Andrew Appel - compilers text books Sanjeev Arora - PCP theorem John Vincent Atanasoff - computer pioneer