PeopleGraduate StudentArea of Expertise: Computer ScienceEducation: B.A., Computer Science/Mathematics, Grinnell College, 2014ContactEmail: tooplark@iastate.edu+1 515 233 3496 Tags: theory of computingsouth american pre-colonial agricultureModel Checking and Verification