The University of Insubria.
The University of Insubria The University of Insubria The University of Insubria The University of Indubria
The University of Insubria The University of Insubria logo The University of Insubria image bar  
The University of Insubria
The Univsersity of Insubria

 
The University of Insubria CV
The University of Insubria CV
The University of Insubria CV The University of Insubria CV Alberto Coen-Porisini
The University of Insubria CV
 

Contact data

Full Professor
Department of Computer Science and Communication
via Mazzini 5, 21110 Varese
Tel: +39-0332-218943
Fax: +39-0332-218909
E-mail: alberto.coenporisini@uninsubria.it
 

Biography

 Alberto Coen-Porisini was born in Torino in 1961. He received the Laurea Degree in Electronic Engineering and the Ph.D. degree in Computer Engineering from Politecnico di Milano, 1987 and 1992, respectively.

Since October 2001 he is Professor of Computer Science at University of Insubria. Prior to that he was he was a visiting scholar at the University of California Santa Barbara (June1992 - September 1993), Assistant Professor of Computer Science at Politecnico di Milano (October 1993 - October 1998), Associate Professor at Università degli Studi di Lecce (November 1998 - September 2001).

He participated at many national and international research projects and he has been scientific coordinator of two ESPRIT IV projects (OpenDREAMS-II, ASIA) and he is currently scientific coordinator for a FIRB-2001 project on behalf of the University of Insubria. He acts as referee for many international journals and conferences and he participated in several Program Committee of international conferences.
 

 

  
 

Research interests

 The main research interests are in software engineering with particular reference to the following fields:

1) Specification of Real Time Systems

The work done in this field concerns the use of logical languages for specifying real-time systems. More specifically he worked on the definition of the ASTRAL specification language (in cooperation with the Reliable Software Group of the University of California at Santa Barbara) and on the development of TRIO language family (in cooperation with the Software Engineering Group at Politecnico di Milano).

2) Middleware

The work done in this field concerns two different areas. First of all, he investigated the use of middleware, such as CORBA, in the development of Supervision and Control Systems. More specifically, he investigated the problem of moving from a logical specification of a SCS, expressed in term of TRIO, to the design of such system. This lead to the definition of a CORBA-oriented design language within the TRIO family.

Secondly, he investigated the use of CORBA as federating technology for distributed simulation. In this area the work lead to the definition of an open-source platform supporting the different activities needed in order to carry out distributed simulation.

3) Symbolic Execution

The work done in this field initially focused on the use of symbolic execution for program transformation. The main idea was to use symbolic execution to propagate assumptions on input values of a given program in order to customize the program so that it can run more efficiently.

Then, the focus has shifted on the practical applicability of symbolic execution for verifying and validating Safety Critical Software such as avionics software. In this area the research has lead to the definition of an environment that support V&V, by using the peculiarities of Safety Critical Software that enable the practical use of symbolic execution.
 

Teaching experience and appointments

 He is currently teaching the courses of Software Engineering and Software Design.

He is responsible for the Computer Science Programs (undergraduate and graduate) offered by the School of Sciences in Varese.

He is Dean deputy of the School of Sciences in Varese.

He is member of the Technical Scientific Committee of SIC and SiSRIT of the University of Insubria
 

Representative  publications

Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli, "Software Specialization via Symbolic Execution", IEEE Transactions on Software Engineering, vol.17, n.9, September 1991, pp. 884 - 899

Alberto Coen-Porisini, Flavio De Paoli, "Array Representation in Symbolic Execution", Computer Languages, vol.18, n.3, March 1993, pp. 197 - 216

Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari, "Assuring Type Safety of Object Oriented Languages", Journal of Object Oriented Programming, vol.5, n.9, February 1994, pp. 25 - 30

Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli, "A Formal Framework for ASTRAL Intra-Level Proof Obligations", IEEE Transactions on Software Engineering, vol. 20, n. 8, August 1994, pp. 548 - 561

Alberto Coen Porisini, Carlo Ghezzi, Richard A. Kemmerer, "Specification of Realtime Systems Using ASTRAL", IEEE Transactions on Software Engineering, vol.23, n 9, September 1997, pp. 572 - 598

Emanuele Ciapessoni, Alberto Coen-Porisini, Ernani Crivelli, Dino Mandrioli, Piergiorgio Mirandola, Angelo Morzenti, "From Formal models to formal based methods: an industrial experience", ACM Transactions on Software Engineering and Methodologies, January 1999

Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti, "A Framework architecture for Supervision and Control Systems", ACM Computing Surveys Symposium on Frameworks, March 2000

Alberto Coen-Porisini, Dino Mandrioli, "Using TRIO for designing a CORBA based application", Concurrency: Practice and Experience, August 2000

Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli "A Stepwise Approach for design CORBA-based Applications", Proceedings of the 22nd International Conference on Software Engineering, ICSE 2000, Limerick (IR), June 4-11, 2000

Luciano Baresi, Alberto Coen-Porisini "An Approach for Designing and Enacting Distributed Simulation Environments" Proceedings of the International Conference on Software: Theory and Practice, ICS 2000, Beijing (China), August 25-28, 2000

Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Dino Mandrioli "Using Symbolic Execution for Verifying Safety-Critical Systems" Proceedings of the Joint 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2001) Vienna (A), September 10-14, 2001

Alberto Coen-Porisini "Using CORBA for Integrating Heterogeneous Simulators" 14th International Conference on Software & Systems Engineering & their Applications (ICSSA 2001) Paris (F), December 4-6, 2001

Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli, "A Formal Approach for Designing CORBA-based Applications", ACM Transactions on Software Engineering and Methodologies, vol.12, n. 2, April 2003, pp. 107-151

Alberto Coen-Porisini, Ignazio Gallo, Antonella Zanzi "Designing and Enacting Simulations Using Distributed Components" 19th International Symposium on Computer and Information Sciences (ISCIS 2004) Antalya (TR), October 27-29, 2004

 
 
   
leftmenu univ of insubria
  The University of Insubria, - Via Ravasi, 2 - 21100 Varese - P.I. 02481820120 - C.F. 95039180120
© 2006 Università degli Studi dell'Insubria. All rights reserved
Privacy Policy | About the Site | Feedback | Sitemap

 
     
 
CV CV