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 Association for Computing Machinery (ACM) (No. 0779302), member since: 2008. IEEE Computer Society (No. 90648774), member since: 2009. Brazilian Computer Society (SBC) (No. 15540), student member since: 2005. 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
Home
Papers
Talks
Projects
CV
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
Centro de Informática UFPE Cidade Universitária - CEP 50740-540 Recife/PE - Brazil Tel - +55 (81) 2126 8430 ext. 4770