Shannon Bay

Shannon is a summer research assistant 2010/2011 for PetraMalik and Open Cloud.

Shannon worked as a research assistant for PetraMalik over the 2008/2009 summer on translating between and refactoring Alloy and Z