Contact information

Research Assistant. 

Madeira Interactive Technologies Institute (M-ITI)

Tel:          (+351) 291 705 156

Mobile:    (+35) 964 725 989

e-mail:     victor.rivera@m-iti.org

                 varz86@gmail.com

Address: Madeira Interactive Technologies Institute

                Universidade da Madeira
                Campus da Penteada
                9020-105 Funchal
                Portugal

I am Research Assistant at M-ITI.  I am a Ph.D. student at Universidade da Madeira,
under supervision of Néstor Cataño. We are working in FAVAS project and we are interested
in defining formalisms (and their actual implementation) to extend B refinement calculus so as
to support the modeling and reasoning about dynamic properties. 

Research Interests

    Formal Models for Developing and Verifying Software.

    Constraint languages and tools for solving combinatorial problems.

    Concurrent Constraints Programming.