Universita` di Trento

Link to partner web site

www.disi.unitn.it

Company introduction

The University of Trento ranks consistently among the top Italian universities in recent CENSIS surveys. It is also one of the most international Universities in Europe, with a large number of joint degrees in all disciplines with counterparts Austria, France and Germany. It hosts an EU Marie Curié Chair in Networking and Security, and is a co-recipient of an EU approved Erasmus Mundus Masters in Informatics (jointly with the Universities of Aachen and Edinburgh). It has a formalized long-term collaboration with Indian Universities and Research Centers through the ITPAR (India-Trentino) research center and a large number of PhD and Postdoc students from all over the world. Trento will host a Microsoft Research center and an Italian-Indian research center on web services. Its Dipartimento di Ingegneria e Scienza dell‘Informazione (DISI) organizes an International Doctorate School (www.ict.unitn.it) with about 90 students of whom 50% come from outside the European Union. In the last years the department has raised a number of EU and national research projects and a number of industrial projects.

The department will participate as a joint effort of the Software Engineering and Formal Methods, and Distributed Systems research units. Members of these research programs participating to MASTER have a strong background in security, services, process management, and data analysis. Currently the UNITN MASTER team is contributing or is a member in the following EU networks or projects: FET-IP-SENSORIA, ITS-STREP-S3MS (where it is European coordinator), IST-IP-SERENITY. It is also actively participating as member of a number of NESSI Working Group.

Key personnel

Fabio Massacci received a M.Eng. in 1993 and Ph.D. in Computer Science and Engineering at University of Rome "La Sapienza" in 1998.He worked in Cambridge University, the University of Siena and IRIT Toulouse and the University of Trento, where he chairs the Computing and Telematic Services of the University. In 2001 he received the Intelligenza Artificiale award, a young researchers career award from the Italian Association for Artificial Intelligence. He is member of AAAI, ACM, IEEE Computer society and a chartered engineer. His research interests are in automated reasoning at the crossroads between requirements engineering, computer security and formal methods. Currently he is actively working on industry level security engineering methodologies and is administrative coordinator of the S3MS EU STREP Project on mobile systems security.

Bruno Crispo received his Ph.D. in Computer Science from University of Cambridge, UK in 1999, having awarded a Diploma di Laurea (1993) in Computer Science from University of Turin, Italy. He is an associate professor at University of Trento since September 2005. Prior to that he was assistant professor at Vrije Universiteit in Amsterdam, Managing Director of Cryptomathic Italia SpA. He also worked at the Stanford Research Institute in Cambridge, UK, Telecom Italia Sp, Cryptomathic A/S, Denmark as a security consultant. He is Co-Editor of the Security Protocol International Workshop proceedings and member of the organization committee since 1997. He has already worked in security related projects sponsored by DARPA, DERA and in several EU funded projects.

John Mylopoulos received his BEng degree from Brown University in 1966 and his PhD degree from Princeton in 1970, the year he joined the faculty of the University of Toronto. He is the recipient of the first Outstanding Services Award given by the Canadian AI Society (CSCSI), a co-recipient of the best-paper award of the 1994 International Conference on Software Engineering, a fellow of the American Association for AI (AAAI) and an elected member of the VLDB Endowment Board. He has served on the editorial board of several international journals. He is currently leading a number of research projects and is principal investigator of both a national and a provincial Centre of Excellence.

Fabio Casati recently joined the University of Trento after 7 years in Hewlett-Packard USA, where he was technical lead for the research program on business process intelligence. Fabio has also contributed (as architect and data modeler) to the development of several HP commercial products and solutions in the area of web services and business process management. He is co-author of a book on Web services, member of the editorial board of ACM TWEB, and member of the steering committee of the international conferences on Service-Oriented Computing and Business Process Management.Atos Origin is an international information technology services company. Its business is turning client vision into results through the application of consulting, systems integration and managed operations. The company's annual revenues are more than EUR 5 billion and it employs over 46,000 people in 40 countries. Atos Origin is the Worldwide Information Technology Partner for the Olympic Games and has a client base of international blue-chip companies across all sectors. Atos Origin is quoted on the Paris Eurolist Market and trades as Atos Origin, AtosEuronext, Atos Worldline and Atos Consulting.

Involvement/Role in the project

UNITN cover the role of Research Director of the entire project thus the responsibility to coordinate all the R&D activities within the project. Furthermore it has the leadership of Activity 2: Conceptual Model.