Nestor Catano
Department of Mathematics and Eng.
The university of Madeira
Campus Universitário da Penteada
9000 390, Funchal, Portugal
I am an Assistant Profesor in the Department of Matematics and Engineering of the University of Madeira, Portugal, where I teach Computer Science related courses. I also teach for the professional master in Human Computer Interaction (HCI) offered by the University of Madeira and the Human Computer Interaction Institute (HCII) at Carnegie Mellon University (CMU), which is part of an academic research partnership between CMU and the goverment of Portugal.
My main research interests are in the use of formal methods techniques and tools in Software Engineering, and the use of refinement calculus in social networks.