Aaronson is married to computer scientist Dana Moshkovitz. Naur was married to computer scientist Christiane Floyd. Chazelle is married to French computer scientist Bernard Chazelle. Moshkovitz is married to computer scientist Scott Aaronson. Lindenstrauss was married to theoretical computer scientist Naomi Lindenstrauss. She is married to computer scientist Keith Golden. His solution was formalized and published in collaboration with Harvard computer scientist Christos Papadimitriou. He is a cousin of noted computer scientist Natalie Enright Jerger. Gast is married to Bradley J. Askins, a computer scientist. Michie is the son of the biologist Dame Anne McLaren and computer scientist Donald Michie. HOL Light is authored and maintained by the mathematician and computer scientist John Harrison. It is named after the prominent mathematician and computer scientist Alan Turing. Brinkema is married to John Roberts Brinkema, a computer scientist. It is named in memory of computer scientist and mathematician Azriel Rosenfeld. It's named after the American computer scientist Grace Hopper.