Computer Science student at the University of Crete. Some of my interests: hardware design, formal methods, type systems and parallel programming models.
