Paola Inverardi

Paola Inverardi is Professor at the University of L'Aquila's Department of Information Engineering Computer Science and Mathematics. An elected member of Academia Europaea and ACM Europe Council, her research applies formal methods to software architecture verification, distributed systems, and mobile computing. She received the 2013 IEEE TCSE Distinguished Service Award for community contributions.

Research focuses on software specification, architecture analysis, and resource-aware mobile applications. She has led multiple EU projects including CHOReOS and CONNECT addressing future internet systems and software interoperability.

Professional service includes editorial roles for IEEE Transactions on Software Engineering and keynote presentations at major software engineering conferences.