Howard Shrobe

Principal Research Scientist CSAIL, MIT