Temi di Ricerca

Gli interessi di ricerca di Paola Inverardi riguardano l’ingegneria del software, con particolare attenzione all’area delle architetture software. In tale ambito si è occupata di analisi e verifica di proprietà architetturali sia comportamentali che quantitative per sistemi basati su componenti, distribuiti e mobili. E’ (co-)autore di oltre 160 pubblicazioni in riviste, conferenze e workshop internazionali (http://www.informatik.uni-trier.de/~ley/pers/hd/i/Inverardi:Paola.html).

Ha coordinato due progetti di ricerca nazionali e partecipa come gruppo di ricerca (UDA) in diversi progetti europei. Con riferimento al 7th programma è responsabile della Unità Operativa costituita dal suo gruppo di ricerca nei progetti MANCOOSI (IST-2007-214898 – http://www.mancoosi.org) contributo totale CEE 2.5 M€ di cui € 361.603 per UDA, FET- CONNECT (IST-2007-231167 – http://connect-forever.eu/) contributo totale CEE 4.8M€ di cui € 476.960 per UDA e CHOREOS (IST-2010-257178 – http://www.choreos.eu) contributo totale CEE 6.4 M€, di cui € 611.163 per UDA.

I am professor at the Department of Information Engineering Computer Science and Mathematics 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.

I’m member of ACM Europe Council, of Academia Europaea, and I received a Honorary Doctorate at Malardalen University.