Pedro Jorge Fernandes Ângelo

Collaborator MSc
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.


This member hasn't supervisions

Information not available