italiano | contact

Paola Inverardi

Full Professor

Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica
Via Vetoio - I-67100 L'Aquila (Italy)



I am professor at the Computer Science Department at University of L'Aquila. My research interests are in the field of the application of formal techniques to the development of software systems. These include software specification and verification of concurrent and distributed systems, deduction systems, and Software Architectures. Current research interests mainly concentrate in the field of software architectures specifically addressing the verification and analysis of software architecture properties, both behavioral and quantitative. On this topics I collaborate with several national and international companies. Recently I am working on the design and development of mobile resource aware applications.


Projects I am involved:

  • PLASTIC project
  • POPEYE project
  • ARTDECO project


    Coming Events

      ICSE 2009
    • 31st International Conference on Software Engineering ICSE2009
    • 23th International Conference on Automated Software Engineering ASE 08
    • Seventh International Workshop on Software and Performance WOSP 2008
    • 1st IEEE International Workshop on Component-Based Design of Resource-Constrained Systems CORCS 2008

    Past Events

    • 30th International Conference on Software Engineering ICSE2008
    • ETAPS 2008 Fundamental Approaches to Software Engineering FASE 2008
    • Workshop on Software Engineering for Adaptive and Self-Managing Systems SEAMS 2008
    • The First International Workshop on Software Architectures and Mobility SAM 2008
    • Working IEEE/IFIP WG Conference on Software Architectures WICSA2008
    • International Workshop on Engineering of Software Services for Pervasive Environments ESSPE07
    • 22th International Conference on Automated Software Engineering ASE 07
    • The fifth joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering ESEC/FSE'07
    • Sixth International Workshop on Software and Performance WOSP 2007

    I have been on the Editorial Board of:

  • Transactions on Software Engineering and Methodology (An ACM Journal)



Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›


Numerous articles published in international scientific journals, books, and ...

continua ›

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›