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.
Theoretical Computer Science
Q&A for theoretical computer scientists and researchers in related fields
Joined 1 year ago, last seen 12 days ago
108 reputation
8
badges
2 questions
0 answers
Mathematics
Q&A for people studying math at any level and professionals in related fields
Joined 1 year ago, last seen 4 days ago
76 reputation
7
badges
1 questions
3 answers
1 reputation
0 questions
0 answers
