Academic staff
Victor Rivera

Victor Rivera

Victor Rivera
  • PhD
    University of Madeira, Portugal
    Assistant Professor
    Institute of Technologies and Software Development
    Lab of Software Engineering
  • Education: Informatics
  • Institute: Technologies and Software Development
His research interests include Formal Models for developing and verifying software, Constraint Satisfaction Problems, and Concurrent Constraint Programming. He has developed several tools for the combination of formal techniques in the development of software helping the improvement of its quality. Víctor holds a Ph.D. degree in Informatics from the University of Madeira, Portugal (2011-2014), a master degree (2009-2010) and a undergraduate degree (2003-2009) in Computer Science and Engineering from the Javeriana University, Cali/Colombia. In the past, he was involved in the development of a tool for the Materials and Process Simulation Center (MSC) at Caltech, and different research projects using Constraint Programming. He has also worked as a research assistant at the Madeira Interactive Technologies Institute (Madeira-ITI), designing, specifying and developing tools for the combination of formal methods in the development of software. Currently, Víctor is also part of the AVISPA research group.
Back to the list
Сайт находится в технической разработке