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.
Q&A for theoretical computer scientists and researchers in related fields
Q&A for people studying math at any level and professionals in related fields
Q&A for Bitcoin crypto-currency enthusiasts