I'm a member of the Theory and Formal Methods group from the Department of Informatics at University of Minho. My main research interests are formal methods, program calculation, and functional programming. I've 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 coupled data transformation, model-driven engineering with Alloy, and I'm part of the CACE project. I was a member of the organizing committee of LDTA'07 and GTTSE'07.

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 year I'm teaching Laboratórios de Informática I, Programação Funcional, and Métodos Formais em Engenharia de Software. I'm currently the head of the undergraduate course on Informatics Engineering.

My current hobbies are photography and mountain biking.

Contacts


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