I'm a Master's student at FCUP (Faculdade de Ciências da Universidade do Porto) in Computer Science. I'm interested in automata, lambda calculi and type theory, F-coalgebras, and application of nonstandard analysis in Theoretical Computer Science.