PeopleAffiliate Assistant ProfessorArea of Expertise: Dependable distributed systemsInformation-flow securityVerificationEducation: Ph.D., Computer Science, Michigan State University, 2009ContactEmail: borzoo@iastate.edu515-294-6632Borzoo's website Tags: autonomous routing in multi-UAV networksInformation-flow securityRuntime monitoringformal methods