From CS Lab Wiki
There are 25 machines in the lab, named after famous computer scientists, mathematicians, and, in one case, a wizard.
- aiken -- Howard Aiken, designer of IBM's Harvard Mark I computer.
- babbage -- Charles Babbage, inventor of the first mechanical computer. (Doesn't actually live in the lab -- this is our webserver.)
- church -- Alonzo Church, creator of the lambda calculus, also half of the Church-Turing thesis on "effectively calculable" functions.
- dijkstra -- Edsger Dijkstra, creator of Dijkstra's algorithm, author of On the Cruelty of Really Teaching Computer Science.
- eckert -- J. Presper Eckert, inventor of ENIAC (w/ John Staunchly), designer of UNIVAC
- forrester -- Jay Forrester, creator of SAGE computerized defense system, pioneer of system dynamics.
- godel -- Kurt Gödel, originator of the incompleteness theorems in mathematical logic.
- hopper -- Grace Hopper, creator of the first compiler, originator of the terms "bug" and "debugging".
- iverson -- Kenneth Iverson, co-creator of APL (w/ Abin Falkoff) and J (w/ Roger Hui)
- jafar -- Jafar, evil sorcerer in Aladdin, The Return of Jafar, and other Disney media. We don't know, either.
- kleene -- Stephen Kleene, creator of regular expressions and recursion theory.
- lovelace -- Ada Lovelace, author of the first computer program.
- moore -- Gordon Moore, creator of Moore's Law, co-founder of Intel.
- napier -- John Napier, creator of the decimal point, discovered the logarithm.
- osborne -- Adam Osborne, creator of the first commercial, portable computer, the Osborne I.
- pascal -- Blaise Pascal, inventor of the mechanical calculator and the hydraulic press.
- quine -- Willard Quine, famed for work in philosophy of mathematics and science. Namesake of quines.
- rice -- Henry Rice, author of Rice's theorem.
- shannon -- Claude Shannon, the "father of information theory".
- turing -- Alan Turing, creator of the Turing machine and Turing test. Cracked the Enigma cipher.
- ulam -- Stanislaw Ulam, worked on the Fermi-Pasta-Ulam experiments and Fermi-Ulam model in dynamics.
- vandermonde -- Alexandre-Théophile Vandermonde, worked in determinant theory, creator of Vandermonde's identity and Vandermonde's polynomial.
- wilkes -- Ambiguous; may be Mary Allen WIlkes who worked on the LINC, or Maurice Wilkes, who worked on EDSAC, microprogramming, and timesharing.
- xavier -- Unknown, may refer to Prof. Charles Xavier of The X-Men, et al.
- yates -- Samuel Yates, first described unique primes, compiled list of largest known primes. (Can't find it? This is the teacher's machine at the front of the room.)
- zuse -- Konrad Zuse, creator of the first functional program-controlled, Turing-complete computer, the Z3.
These names are probably more recognizable.
- ash -- Ash Ketchum, Pokémon trainer par excellence.
- charmander -- Charmander. Fire type Pokémon, evolves into Charmeleon.
- squirtle -- Squirtle. Water type Pokémon, evolves into Wartortle.
- bulbasaur -- Bulbasaur. Plant type Pokémon, evolves into Ivysaur.