Mário Florido is an Associate Professor with Habilitation at the Department of Computer Science of the Faculty of Sciences of the University of Porto. He is also member of the direction board of the Artificial Intelligence and Computer Science Laboratory at the same university (LIACC) and member of the Representatives Council of the Faculty of Science of the University of Porto. His habilitation focused on Substrutural Type Systems for Functional Programming Languages. Before this, his academic record includes a PhD in Computer Science the University of Porto, in the area of Type Systems for functional and logic programming languages, and a Master of Science in Foundations of Advanced Information Technology, at Imperial College, University of London. He has now an active participation in the international scientific community in the programming language design community, in the form of articles co-authored with international researchers, promotion of several European research networks as national member of the management committe, having the responsibility for several financed research projects as principal researcher, co-supervision of internships outside the country, responsibility for several bilateral international cooperation actions, participation in program committees and editing of proceedings of international conferences and supervision of doctoral and post-doctoral studies.