Claire is working as a research assistant for PetraMalik over the 2008/2009 summer on implementing Z with Alloy.