PeopleAssistant ProfessorArea of Expertise: Formal MethodsControl theoryAutonomous SystemsEducation: Ph.D., California Institute of Technology, 2010M.S., California Institute of Technology, 2006 B.S., Cornell University, 2005ContactEmail: nok@iastate.eduhomepage Tags: formal methodsmotion planningcontrolroboticstransportation