Henrique Rebelo's Home Page

Henrique Rebęlo  

M.Sc. in Computer Engineering, University of Pernambuco, 2008.

Home

Papers

Talks

Projects

CV

 

 

   Current Positions

   PhD Student in Computer Science

   Informatics Center, UFPE
   Federal University of Pernambuco

        In cooperation with:

         - University of Central Florida (UCF),
           School of Electrical Engineering &
           Computer Science (EECS), USA

    MSR Intern, Microsoft Research, USA (2010)

   hemr@cin.ufpe.br


Research Interests

  • Aspect-Oriented Software Development.
  • Design by Contract.
  • Software Specification and Verification.
  • Software Architecture.
  • Product Lines.
  • Empirical Software Engineering.
  • Software Metrics.
  • Programming Languages.
Distinctions and Awards
  • MSR Internship - Selected as one of Microsoft Research Latin American Interns, Software Reliability
    Research (SRR)     group, which is part of the Research in Software Engineering (RiSE) team, Redmond,
    2010.
  • Member of the Advisory Board of Microsoft Innovation Center Pernambuco FY2010 (MIC PE FY2010), since July 2009.
  • Certified ScrumMaster (CSM), Scrum Alliance, 2009.
  • Certified Scrum Product Owner (CSPO), Scrum Alliance, 2009.
  • Project Award - member of the Petrilogic project granted by IBM Eclipse Innovation Grants Awards
    Program,     EIG 2005.
  • Sun Certified Programmer for Java2 platform 1.4, Sun Microsystems, 2005.
Computer Societies Membership



 		 IJAS - Editorial Board, International Journal On Advances in Software
VALID'12 - PC Member, 4th IARIA Intl. Conference on Advances in System Testing and
Validation Lifecycle
ICISA'12 - PC Member, 3nd IEEE Intl. Conference on Information Science and Applications
SCP @ Benevol'11 - Referee, Special issue in Science of Computer Programming
Speaker @ EECS Seminar Series'11: "Assessing the Impact of Aspects on Design By Contract Effort"
Lightning Talk @ AOSD Workshop on Modularity (Miss'11): "Refactoring Contracts using Aspects:
Is it Always Worthwhile?"
VALID'11 - PC Member, 3rd IARIA Intl. Conference on Advances in System Testing and
Validation Lifecycle
ICISA'11 - PC Member, 2nd IEEE Intl. Conference on Information Science and Applications
ICITCS'11 - PC Member, International Conference on IT Convergence and Security
AOSD'11 - Local Organizing Committee, 10th ACM Intl. Conference on AOSD
FOAL'11 - Proceedings Chair, 10th Foundations of AO Languages workshop
Lecturer @ CBSoft'10 Short Course: "Java Modeling Language"
Speaker @ MSR Internship Talk'10: "Static Semantic Diff"
Speaker @ SRR Seminar Series'10: "AOP, Program Verification, and Applications"
SERP'10 - PC Member, 9th WORLDCOMP'10 Intl. Conference on Software Engineering
Research and Practice
VALID'10 - PC Member, 2nd IARIA Intl. Conference on Advances in System Testing and
Validation Lifecycle
VALID'09 - PC Member, 1st IARIA Intl. Conference on Advances in System Testing and
Validation Lifecycle
Speaker @ EECS Seminar Series'09: "AOP Framed!"
Speaker @ EECS Seminar Series'08: "An Aspect-Oriented Approach to implement ..."

Centro de Informática UFPE
Cidade Universitária - CEP 50740-540
Recife/PE - Brazil
Tel - +55 (81) 2126 8430 ext. 4770

   CIn-UFPE