Teddy Murray, computer hacker Mohamed Medhat Zohar Manna - fuzzy logic Max Levchin - Gausebeck-Lechin Test and PayPal James Martin - information engineering John Mashey Yuri Matiyasevich - solving Hilbert's tenth problem Yukihiro Matsumoto - Ruby (programming language) John McCarthy - Lisp (programming language), artificial intelligence Douglas McIlroy - pipes Kathleen R. McKeown - Natural Language Processing - Automatic Summarization Chris McKinstry - artificial intelligence, Mindpixel Marshall Kirk McKusick - BSD, Berkeley Fast File System Lambert Meertens - ALGOL 68, ABC (programming language) Bertrand Meyer - Eiffel (programming language) Silvio Micali - cryptography Robin Milner - ML (programming language) Marvin Minsky - artificial intelligence, perceptrons, Society of Mind Dr. Paul Mockapetris - Domain Name System (DNS) Cleve Moler - numerical analysis, MATLAB Edward F. Moore - Moore machine Gordon Moore - Moore's law J Strother Moore - string searching, ACL2 theorem prover Dr. Al Moskowitz - Rule-based system algorithm synthesis using nondeterministic finite-state machines. Hans Moravec Robert Tappan Morris - Morris worm Joel Moses - Macsyma Stephen Muggleton Debajyoti Mukhopadhyay - interoperability, web mining