Welcome to the homepage of Richard Rast, graduate student in Mathematical Logic at the University of Maryland.