PeopleResearch AssistantArea of Expertise: Computer ScienceFormal MethodsInformation Flow SecurityMajor: Computer ScienceAdvisor: Dr. Borzoo BonakdarpourContactEmail: odobe@iastate.edu5158173120 CV: oyendrilas_current_resume.pdfTags: Graduate Student