Graduate student in Computer Science and member of the Software Engineering and Distributed Systems Group. I am currently responsible for the development of the lotus tool.