Research Interests:
Type Theory
Type System for Functional Programming Languages
Lambda Calculus
Operational Semantics
Pedro Ângelo was born in January 1994 in Portugal. He holds a Master’s Degree in Network and Information Systems Engineering from the Faculdade de Ciências da Universidade do Porto. However, his main research interests lie in computer science, namely static verification of programs, functional programming, programming languages in general, among other interests. Since December 2016, Pedro has been a colaborator at LIACC.
Elven
This member hasn't supervisions