I am a PhD student at Faculdade de Ciências da Universidade do Porto. My interests include program behaviour and resource management. I hold a Bachelor’s and a Master’s in Computer Science, having worked with linear type systems in my dissertation. I am now exploring a broader approach through the use of intersection types and their expressive power.
