
About Project
Acronym
AURORA
Responsible
Pedro Miguel Machado Soares Carvalho
Status
Closed
Start
January 1, 2022
End
January 31, 2023
Effective End
January 31, 2023
Global Budget
€180,000.00
Financing
€180,000.00
Members
Team Leaders

I was born in the district of Porto. I got a degree in Eletric and Computer Engeneering in 2001, a Master degre in Networks and Communication Services in 2004 and the PhD degree in Eletric and COmputer Engeneering in 2012, all from the Faculty of Engeneering of the University of Porto. I've been a collaborator of INESC TEC since 2001 and I'm currently a Senior Researcher at the Center of Telecommunications and Multimedia. I'm also an Invited Adjunct Professor at the School f Engeneering of the Polythecnic Institute of Porto. My current reseach interests include image and video processing, multimedia systems and computer vision.

I am an Assistant Professor at the Department of Informatics of the University of Minho and a Senior Researcher at HASLab/INESC TEC.
My research interests are in dependable distributed systems, in particular with application to dependable distributed database systems, large scale distributed systems and cloud computing management.
Team Members

Rui Carlos Mendes de Oliveira

António Luís Pinto Ferreira de Sousa

José Nuno Teixeira de Almeida

Manuel Cândido Duarte dos Santos

João Tiago de Medeiros Paulo

José Orlando Roque Nascimento Pereira

Pedro Miguel Machado Soares Carvalho

Paula Maria Marques de Moura Gomes Viana

Jaime dos Santos Cardoso

Rui Lopes Campos
Associated Centres
High-Assurance Software
At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.

Telecommunications and Multimedia
The Centre for Telecommunications and Multimedia (CTM) welcomes close to 200 members, including at least 100 integrated researchers who carry out scientific work in the fields of communications, Artificial Intelligence, and computer science and engineering. The Centre’s activities cover several Research and Development (R&D) domains: <ul> <li>Communications and Electronics <ul> <li>Radio Frequency Technologies</li> <li>Optoelectronics</li> <li>Microelectronics</li> <li>Wireless Communication Networks </li> </ul> </li> <li>Computer Perception <ul> <li>Computer Vision applied to Medical Imaging</li> <li>Computer Vision applied to Digital Media</li> <li>Computer Audio applied to Music</li> </ul> </li> </ul> With multidisciplinary teams that include dozens of PhDs, CTM is strongly committed to both European and national research projects, as well as consultancy projects with industry.
