logic grad student, Carnegie Mellon