Sandra Alves is an Auxiliary Professor at the Computer Science Department of the Faculty of Science , University of Porto. She has a PhD in Computer Science at the same University in the area of linear functional calculi. Her main research interests now are quantitative type systems as a type theoretic characterization of program complexity and substructural logics (linear and ordered logics). She is also involved in the research community of logic and program verification as member of several Steering Committees (TYPES, LINEARITY, LSFA, FSCD) and member of the editorial board of several top journals in the area (Mathematical Structures in Computer Science and Journal of Applied Logics – IfCoLog Journal).