I’m Ricardo Rodrigues and I finished my Master’s in Computer Science, in the University of Madeira (January 2010) – where I also did my Bachelor’s in Computer Science. My curriculum vitae can be downloaded here.

My fields of interest have to do with human-computer interaction and where we can use freely our imagination. Work on software engineering and do research on Human-Computer Interaction. Some of my professional interests are in software engineering, formal methods for software development, social networks, human-computer interaction, usability, web designing, 3D modelling and digital animation.

Other field of interest is about my Master Thesis work. My thesis was supervised by Nestor Cataño. The thesis is about a JML-Based Formal Development of a Java Card Application for Managing Medical Appointments.

Publications:

– JFly: A JML-Based Strategy

I can characterize me for my persistence, looking for new challenges. Never left a project undone, and always love to learn. I like to work in a team, although working alone isn’t no problem for me.

I have a strong relation with people and no problem making new acquaintances. I love to do sports, specially basketball that I practice since my 12 years-old.