I'm a software engineering major at UMinho. I'm passionate about InfoSec and Formal Methods.
If you aren't a Functor, do I even care? EMACS and CAOS!
PS: Yes, I do.