Lujo Bauer Karl Crary Robert Harper Limin Jia Michael K. Reiter Tom Murphy VII