Formal Methods Group @ DCC
Users following FM-DCC
Lambda Fiend
LambdaFiend
Computer Science student at the University of Porto.
My current areas of interest are Type Theory, Compiler Design and more. In general, PL-related stuff.
Portugal
Diogo Ribeiro
DiogoRibeiro7
Data Scientist 💡| Math Lover 🔢 Mathematical Engineer🧑🔬📐 Statistician 📊
Portugal
Telmo André Azevedo Ribeiro
TelmoRibeiro
Embedded Engineer / Software Developer @ Exaud | MSc in Computer Science @ FCUP
