Members

Principal Investigator

John Mylopoulos, jmdisi.unitn.it, is professor at the University of Trento. His research interests include information modelling techniques, covering notations, implementation techniques and applications, knowledge based systems, semantic data models, information system design and requirements engineering.

Co-investigators

Paolo Giorgini, paolo.giorginiunitn.it, is professor at the University of Trento. His research interests lie in the area of (agent-oriented) software engineering, multi-agent systems, mobile and context-aware applications, and reasoning under uncertainty.

Fabio Massacci, fabio.massacciunitn.it, is professor at the University of Trento. His research interests include automated reasoning and verification, security-by-contract for mobile and embedded systems, security requirements engineering enforcement.

Roberto Sebastiani, roberto.sebastianidisi.unitn.it, is professor at the University of Trento. His research interests focus on formal verification (in particular, model checking) and automated reasoning (in particular SAT and SMT) and and their applications.

Yannis Velegrakis, velgiasdisi.unitn.it, is professor at the University of Trento. His research area of expertise includes data translation, schema mapping, information integration, data exchange, view updates, view maintenance and meta-data management.

Juan Carlos Trujillo, jtrujillodlsi.ua.es, is a full professor at the University of Alicante, Spain. His research area of expertise includes relational and multidimensional databases, conceptual modelling, data mining, requirements engineering and business intelligence.

Alex Borgida , borgidacs.rutgers.edu, is a professor at the Department of Computer Science, Rutgers University U.S.A. His research interests include improved software development techniques, description logics, conceptual modeling, ontological foundations of qualities and measurements, and requirements engineering languages.

Nicola Guarino , guarinoloa.istc.cnr.it, is the Research Director at the Institute of Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR), where he leads the Laboratory for Applied Ontology (LOA). Current research interests include service science, socio-technical systems, and e-government.

Giancarlo Guizzardi , gguizzardiinf.ufes.br, is a Professor of Computer Science at the Federal University of Espírito Santo (UFES) in Brazil. His area of expertise is in employing results from formal ontology, logics, cognitive science and linguistics to address a number of problems in Software Systems Engineering (Conceptual Modeling, Software Language Engineering, Requirements Engineering, …)

Renata Guizzardi, rguizzardiinf.ufes.br, is a Professor in the Computer Science Department of the Federal University of Espírito Santo (UFES) in Vitória, Brazil. Her research interests include knowledge management, goal modeling, business process modeling, and ontologies.

Post-Docs

Alejandro Maté, alejandro.matemorgadisi.unitn.it, is a post-doctoral researcher at the University of Trento. His research interests include business intelligence modelling, data warehouses, requirements engineering, model-driven development.

Elda Paja, pajadisi.unitn.it, is a post-doctoral researcher at the University of Trento. Her research interests include security requirements engineering and modeling, with particular interest on preserving compliance with security requirements in the face of evolution.

PhD Students

Kostantinos Angelopoulos, angelopoulosdisi.unitn.it, works on designing adaptive software systems.

Fatma Başak Aydemir, aydemirdisi.unitn.it, works on requirements alignment in software systems.

Silvia Ingolfo, silvia.ingolfodisi.unitn.it, works on regulatory compliance in requirements engineering.

Feng-Lin Li (李凤麟), maillifenglingmail.com, works on feature oriented software service evolution.

Tong Li (李童), tong.liunitn.it, works on techniques for designing secure evolving software systems.

Dimitra Papadimitriou, papadimitrioudisi.unitn.it, works on techniques for exploring/exploiting social media and Web information ecosystem, in general.

Xiaowei Wang (王晓伟), xwangdisi.unitn.it, is working on Software Evolution. His interests are Software Engineering, Ontology, and Software Evolution.

 
Senior Developer

Nicola Zeni, nicola.zenidisi.unitn.it, is application and Web developer. His research interests focus on Semantic Web technologies, Semantic Analysis, Software automation.

Past members

Jennifer Horkoff, horkoffdisi.unitn.it, is a post-doctoral researcher at the University of Trento. Her research interests include requirements engineering and modeling, including model analysis and model uncertainty.

Alberto Siena, a.sienaunitn.it, is a post-doctoral researcher at the University of Trento. His research interests include requirements engineering, law compliance and conceptual modeling.

Amit Chopra, akchopra.mailgmail.com, was a Marie Curie Trentino Cofund Fellow. His research interests included social computing, sociotechnical systems modeling, and model-driven adaptation.

Fabiano Dalpiaz, dalpiazcs.toronto.edu, is currently a post-doctoral researcher at the Department of Computer Science, University of Toronto, Canada. His research interests include self-adaptive socio-technical systems, requirements modelling, and secure and trustworthy composite services. He was involved in Lucretius (2011-12) in the context of self-adaptive socio-technical systems.

Alexei Lapouchnian, lapouchniandisi.unitn.it, was a post-doctoral researcher at the University of Trento. His interests included variability in software engineering; business process modeling and management, and multiagent systems.

Vítor E. Silva Souza, vitorsouzainf.ufes.br, concluded his PhD in 2012 and worked for a brief period as a post-doctoral researcher at the University of Trento under the context of the Lucretius project. Today, Vítor is a professor at the Department of Informatics of the Federal University of Espírito Santo (Ufes).

Siarhei Bykau, bykaudisi.unitn.it, works on concept evolution, temporal models, semi-structured data, semantic web, egovernment.

Le Minh Sang Tran, leminhsang.trandisi.unitn.it, works on techniques for designing secure evolving software systems.