Miguel Calçado

e-mail: a109361 (at) alunos.uminho.pt

github: mhcal

cv: pdf, LinkedIn

I am a first-year B.Sc. Computer Science student at University of Minho, in Braga, Portugal. My main interests are logic, type theory, and functional programming.

I'm also part of the development team at NECC (Computer Science Student Association).