Pedro Ângelo

Short Bio

I'm a computer science PhD student at Faculdade de Ciências da Universidade do Porto, under the supervision of Prof. Dr. Mário Florido. Having started in September of 2018, my PhD topic is about program verification using gradual typing and intersection types.

I was awarded my bachelor and master degree in Network and Information Systems Engineering by Faculdade de Ciência da Universidade do Porto in 2017

Research Interests

My interests lie in the study of lambda calculus and types.