Nestor Catano

Departamento de Matemática e Engenharias
Universidade da Madeira

Campus Universitário da Penteada
9000-390 Funchal
Portugal

Telefone: +351 291705156
Fax: +351 291705199
Email: ncatano(at)uma.pt
www: http://dme.uma.pt/people/faculty/nestor.catano/
Office: Room 2.57

Actividade Profissional

  • Assistant Professor, Universidade da Madeira, 2007
  • Assistant Professor, Pontificia Universidad Javeriana, Colombia, 2007
  • Research Associate, University of York, United Kingdom, 2004 – 2006

Habilitações Académicas

  • PhD. Computer Science, University Paris 7 and INRIA, France, 2004
  • Msc. Computer Science, University Paris 7, France, 2001

Áreas de Investigação

  • Mechanized correctness proofs of state-space reduction algorithms
  • Formal specification and checking of Java applications
  • Design and implementation of formal methods tools

Publicações

  • Cataño N. 2005. Formal Modelling of a Slicing Algorithm for Java Event Spaces in PVS. Lecture Notes in Computer Science, Vol. 3603, p. 82-97, 22-25 August, 18th International Conference on Theorem Proving in Higher Order Logics: TPHOLs. Oxford, United Kingdom.
  • Breunesse C., Cataño N., Huisman M., Jacobs B. 2004. Formal Methods for Smart Cards: an Experience Report. Science of Computer Programming, 51(1-3): 55-80.
  • Cataño N. 2005. Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead. The Colombian Journal of Computation, 6(1).
  • Cataño N. 2003. Slicing Event Spaces: Towards a Java Programs Checking Framework. Electronic Notes in Theoretical Computer Science, Vol. 80, p. 59-74, June 5-7 2003. FMICS: Eighth International Workshop on Formal Methods for Industrial Critical Systems, Trondheim, Norway.
  • Cataño N., Huisman M. 2003. Chase: A Static Checker for JML’s Assignable Clause. Lecture Notes in Computer Science, Vol. 2575, pp. 26-40, January 9-11 2003. VMCAI: Verification, Model Checking and Abstract Interpretation, New York, NY, USA.
  • Cataño N., Huisman M. 2002. Formal Specification of Gemplus’ Electronic Purse Case Study. Lecture Notes in Computer Science, Vol. 2391, pp. 272-289, July 22-24 2002. FME: Formal Methods Europe, Copenhagen, Denmark.