Samik BasuEmail: sbasu@iastate.eduPhone: 515-294-6045Title(s):ProfessorOffice 211 Atanasoff2434 Osborn Dr.Ames, IA 500111090Departments Computer ScienceSE FacultySoftware EngineeringAffiliations FacultyInterests Formal Methods