UCLA graduate student in logic