Alexandre Madeira (http://alfa.di.uminho.pt/~madeira) graduated in Mathematics in Universidade de Aveiro, Portugal, and receivedhis PhD in the MAP-I Joint Doctoral Programme in Computer Science of the Universities of Minho, Aveiro and Porto. 

He is currently post-doctoral researcher in the project Cooperation and Perception for Augmenting Autonomy on the development of formal methods for Robotics at HASLab/INESC TEC. 
His particular research topic is the definition of new dedicated logics for the emerging challenges and paradigms of software, through the introduction of generic method for generation and combination of modal, hybrid and dynamic logics for this end.