Samik BasuEmail: sbasu@iastate.eduPhone: 515-294-6045Title(s): Professor [COM S]Office 211 Atanasoff2434 Osborn Dr.Ames, IA 500111090Informationwww.cs.iastate.edu/sbasuDepartments Computer ScienceSE FacultySoftware EngineeringAffiliations FacultyInterests Formal MethodsRelated Posts Rozier, Kristin-Yvonne Ashlock, Jeramy Rothmayer, Alric Vardeman, Stephen