Jorge Ramos concluded a Master Degree in Computer Science at the Faculty of Science, University of Porto and he is now a PhD student at the same University. His PhD is about quantitative type systems as a type theoretical characterization of computational resources used during program evaluation. He is co-supervised by Prof. Sandra Alves at LIACC and Prof. Delia Kesner at IRIF – Université Paris Cité.