Academy
Academy
Academy

Filter Affiliation - University: FCUP

Ana Jorge Almeida

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.

Rodrigo Marques

I am interested in programming languages as tools for effective communication with computers. In my PhD I want to explore the design of type systems for programming languages that are expressive and efficient by using substructural logics to capture parts of program behaviour such as resource management or evaluation order.