Pli lastatempe, li ankaŭ inventis novan komputillingvon?: [Elephant 2000]? ("Elefanto 2000" -- ĉar "elefanto neniam forgesas"), kiu estas evoluo de Lispo kiu enigas kaj eligas parolaĵojn.
Li estis profesoro ĉe MIT (1958-1962) kaj de Stanford? (1962-2001), kaj nun estas emerita. Li gajnis la Premion Turing je 1971.
Lia hejmpaĝo (angle): http://www-formal.stanford.edu/jmc/