Politecnico di Milano
Dipartimento di Elettronica e Informazione
via Golgi, 42, 20133 Milano (Italy)
Office: Building 22, Room: 320 (3rd Floor)
Phone: +39 02 2399 3616
Fax: +39 02 2399 3574
E-mail: greenyer<at>polimi.it

I am a postdoc in the DEpendable Evolvable Pervasive Software Engineering (DEEP-SE) group at the Politecnico di Milano. Formerly, I was a PhD student in the Software Engineering Group (Prof. Wilhelm Schäfer) at the University of Paderborn.

Research

I am interested in intuitive, but precise software specification techniques for dynamic, distributed systems. Especially I am interested in scenario-based software specification approaches and the application of formal methods to automatically synthesize controllers from such specifications and to help software engineers detect and understand inconsistencies they may have introduced.

Furthermore, I am interested in graph transformations, especially Triple Graph Grammars (TGGs) and their application for the transformation, synchronization and consistency management of models that are created throughout the model-based development process of software and systems.