I am a postdoctoral researcher at the Requirements Engineering Lab of the Department of Information and Computing Sciences, Utrecht University, the Netherlands. I work with Dr. Fabiano Dalpiaz. My main research interest is requirements engineering to help people build right systems. I specifically work on goal-oriented requirements modeling languages and automated reasoning techniques. My research is currently funded by the European Commission through the PACAS project (Participatory Architectural Change Management in ATM Systems).