I'm a member of the High-Assurance Software Laboratory, a research center of the University of Minho and a privileged partner of the INESC TEC associate laboratory. My main research interests are formal methods, functional programming, and model transformation. In particular 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 mainly working on bidirectional transformation and model-driven engineering with Alloy.

I was a member of the organizing committee of LDTA'07, GTTSE'07, and INFORUM'11, and of the program committee of MSFP'10 and ECM/MDE'11. I'm currently a member of the program committee of BX'12 and ICMT'12.

In the last years I've taught several courses on cryptography, functional programming, program calculation, algorithms and data structures, and verification of concurrent systems. This year I'm on sabbatical leave and thus I have no teaching duties.

My current hobbies are photography and cycling.

Contacts


alcino@di.uminho.pt
http://www.di.uminho.pt/~alcino
+351253604444

Office 2.06
Departamento de Informática
Universidade do Minho
Campus de Gualtar
4710-057 Braga
Portugal