Leslie Pack Kaelbling is Assistant Professor in the Computer Science Department at Brown University.
