Graduate Assistant, Computer Science DepartmentArea of Expertise: Formal MethodsComputational Fluid DynamicsControl Theory and OptimizationContactgokul@iastate.eduGokul Hariharan Tags: Runtime Verificationformal methodsComputational Fluid DynamicsControl Theory and Optimization