Erik Rauer

Erik Rauer

Position
  • PhD Student
Erik Rauer is a PhD student in the Department of Computer Science at Iowa State University. He is currently a member of the Formal Methods Group under the advisory of Dr. Samik Basu. His current work is focused on the consistency of qualitative preference reasoning languages.

Area of Expertise

  • Qualitative Preference Reasoning
  • Formal Methods

Education

  • B.A., Computer Science, University of Minnesota - Morris
  • B.A., Mathematics, University of Minnesota - Morris