Her interests are in the area of program specification and verification and OO modeling and programming. She is also interested in methods for teaching object oriented concepts. She can be reached at in@di.fc.ul.pt.