FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Henrique Madeira

Registered user since Thu 31 Jan 2019

Name:Henrique Madeira
Bio:

Henrique Madeira is full professor at the University of Coimbra, where he has been involved in the research on dependable computing since 1989. His main research interests focus on experimental evaluation of dependable computing systems, including security evaluation and benchmarking, fault injection techniques, error detection mechanisms, and transactional systems dependability, subjects on which he has authored or co-authored more than 180 papers in refereed conferences and journals.

He has coordinated or participated in tens of projects funded by the Portuguese Government and by the European Union. Henrique Madeira was the Vice-Chair of the IFIP Working Group 10.4 Special Interest Group (SIG) on Dependability Benchmarking from the establishment of the SIG in the summer of 1999 until 2002. He was Program Co-Chair of the International Performance and Dependability Symposium track of the IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-PDS2004, and has organized several Workshops and scientific events. He was Conference Coordinator of the IEEE/IFIP DSN, the major conference of the dependability area, in 2008. He has also been asked to be reviewer for many international conferences and journals and he has served on program committees of the major conferences of the dependability and database areas.

Henrique Madeira has served as Head of the Department of Informatics Engineering at University of Coimbra from 2002-2004, President of the Centre for Informatics and Systems of University of Coimbra from 2006-2008, and Head of the Scientific Council of the Department of Informatics Engineering at University of Coimbra from 2005-2006 and during a short period in 2009, before being appointed as Vice-Rector in October 2009. He served as Vice-rector for 4 years, and was responsible, among other duties, for the innovation policy of the University. This includes the leadership of the regional innovation ecosystem (INOV.C) that comprises the University of Coimbra, its research centers, and its business incubator (Institute Pedro Nunes, that won the World Best Science Based Incubator Award in 2010), in addition to the regional industrial parks and the regional community players.

Henrique Madeira was a founding member of the spin-off company Critical Software SA (https://www.criticalsoftware.com/en/homepage).

Country:Portugal
Affiliation:University of Coimbra
Research interests:Software reliability, dependability, safety, security, intelligent systems

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile