Interview with Annabelle Backman, Senior Software Engineer at Amazon at #GHC15

While in the Grace Hopper Conference, Soumow interviews Kristin, Head of laboratory for temporal logic in Aerospace Engineering at the university of Cincinnati.
Kristin is also a member of the NASA-wide Formal Methods research team
GALs is a show about the women who work in Tech (at Microsoft or outside) from three ladies that currently work on the Channel 9 team. Golnaz Alibeigi, Soumow Atitallah, and Kaitlin McKinnon have started a new series featuring women in Tech who work in development, management, marketing and research who have interesting stories to share about their success in the industry and ideas on how to grow diversity in IT.