Mandana Vaziri
Mandana Vaziri completed her PhD with the Software Design Group. Her work focused on the development of Jalloy, a tool for analyzing Java code using Alloy as a back end. She is now a Researcher Staff Member at the IBM T. J. Watson Research Center, working in the area of Programming Languages and Software Engineering, in the Program Analysis & Transformation group.
website: http://www.research.ibm.com/people/m/mvaziri/
email: mvaziri AT us.ibm.com