I work at the Departamento de Informática at Universidade do Minho. My main research interests are program calculation and functional programming. I've recently finished my PhD on Point-free Program Calculation in the context of the PURe project, and developed a couple of libraries and tools for point-free programming and program transformation. Currently I'm also working on type-safe data migration and type-directed rewriting systems.
In the last years I've teached several courses on cryptography, functional programming, program calculation, algorithms and data structures, and verification of concurrent systems. This semester I'm teaching Elementos Lógicos da Programação III and Métodos de Programação II.
I love photography, music, cinema, sailing, hiking, mountain biking, climbing, swimming...
Contact
alcino@di.uminho.pt
http://www.di.uminho.pt/~alcino
+351253604444
Departamento de Informática
Universidade do Minho
Campus de Gualtar
4710-057 Braga
Portugal